Method of performing elliptic polynomial cryptography with elliptic polynomial hopping

ABSTRACT

The method of performing elliptic polynomial cryptography with elliptic polynomial hopping allows for the encryption of messages through elliptic polynomial cryptography, i.e., using elliptic polynomials with multi x-coordinates, and particularly with the utilization of elliptic polynomial hopping based upon both the elliptic polynomial and its twist, regardless of whether the elliptic polynomial and its twist are isomorphic with respect to one another. Each plaintext block is encrypted by a different elliptic polynomial, and the elliptic polynomials used are selected by an initial secret key and a random number generator. The method is particularly useful for symmetric encryption systems, and provides a block cipher fundamentally based upon a computationally hard problem.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The present invention relates to computerized cryptographic methods for communications in a computer network or electronic communications system, and particularly to a method of performing elliptic polynomial cryptography with elliptic polynomial hopping.

2. Description of the Related Art

Encryption systems have been categorized in the art into two types, based on the characteristics of the cryptographic key: asymmetric encryption systems and symmetric encryption systems. Asymmetric encryption systems are also called dual-key systems or public-key systems. In the public-key encryption systems, there is a public key and a private key. The public key is made public, while the private key remains secret. Encryption is performed with the public key, while decryption is done with the private key. The public key and the private key are totally different, and it is difficult to derive one by inference from the other. Thus, the ability to encrypt can be separated from the ability to decrypt.

Symmetric encryption systems are also called single-key systems, private-key systems, or traditional encryption systems. Private-key systems can be categorized into stream encryption systems and block encryption systems. In a stream encryption system, plain data is encrypted on an element-by-element basis (in computer systems, one letter, character, or bit at a time). In contrast, in a block encryption system, plain data is divided into blocks with each block containing plural elements, and encryption is carried out on a block-by-block basis (in computer systems, blocks of letters, characters, or bits at a time).

Block ciphers are the most popular algorithms in use today for providing data privacy. Block ciphers with block size n and key size k can be viewed as a family of permutations on the set of all n-bit strings, indexed by k-bit long encryption keys and possessing certain properties. Block ciphers use fix-sized blocks. A 128-bit plain text block will generate a 128-bit ciphertext block when encrypted. If the message is shorter than the block size, the message is padded to bring the block size up to whatever is required by the particular block cipher being used. If the message is longer than the block size, then the message will be encoded using a mode or method designed to make the encrypted message less vulnerable to attack.

From the mid-1970s through the 1990s, the Data Encryption Standard (DES) was probably the most popular and widely used block cipher cryptographic algorithm. DES had a block size of 64 bits and a key size of 56 bits, and implemented a Feistel structure built on a series of exclusive-or (XOR) operations. When the message size exceeded the block size, DES employed one of several modes. The simplest, electronic codebook (ECB), is too vulnerable to attack if the message is too long and has repeating phrases because two blocks of equivalent plaintext characters always encrypts to the same block of ciphertext. Other modes include cipher block chaining (CBC), cipher feedback (CFB), and output feedback (OFB), of which CBC is the most popular. In CBC, each plaintext block is XORed with the previous plaintext block, beginning with an initialization vector for the first block.

Once thought secure, DES has proved vulnerable to attach through increases in the speed and memory storage of computer hardware. It is now possible for an attacker to decrypt a DES encrypted message by an exhaustive key search in a comparatively short amount of time. Although DES, or variations of DES, such as 3DES or Triple DES, is still used, it is being replaced by the Advance Encryption Standard (AES).

AES uses a 128-bit block size and may use a key size of 128 bits, 192 bits, or 256 bits. The algorithm has a Rijndael structure, which again relies upon a series of XOR operations. Nevertheless, there are concerns about the adequacy of the AES algorithm due to its simple algebraic structure. Moreover, the increase in block size may be inconvenient to implement, is not truly scalable (only three key sizes are implemented or permitted), the hardware for a 192-bit key is not completely compatible with the hardware for a 128-bit or 256-bit key, and advances in computer hardware speed and memory may eventually make AES vulnerable to an exhaustive key search in the same manner as DES.

The fundamental problem with DES, AES, and other similar block cipher algorithms is that these algorithms are essentially based upon simple XOR operations, and not upon a computationally hard or infeasible problem, such as the discrete logarithm problem or the elliptic curve (EC) analog to the discrete logarithm problem.

Elliptic curve cryptosystems are well known in the art. Elliptic curve cryptosystems rely upon the difficulty of the Elliptic Curve Discrete Logarithm Problem (ECDLP) to provide their effectiveness as a cryptosystem. Using multiplicative notation, the problem can be described as: given points B and Q in the group (points in a finite field satisfying a given elliptic curve equation), find a number k such that Bk=Q; where k is called the discrete logarithm of Q to the base B. Using additive notation, the problem becomes: given two points B and Q in the group, find a number k such that kB=Q.

Conventional elliptic curve arithmetic and properties, including point addition, scalar multiplication, point doubling, projective coordinates, etc., are well known in the art, and have been described in numerous texts, treatises, and cryptography handbooks, e.g., Guide to Elliptic Curve Cryptography, Hankerson et al., Springer 2004. A summary of such operations and properties appears in paragraphs [0012] through [0026] of U.S. Pat. No. 7,483,533, issued Jan. 27, 2009, which are hereby incorporated by reference.

Elliptic curve cryptography is gaining increasing acceptance in public-key applications, such as public key exchange, digital signatures, etc. because elliptic curve cryptography permits smaller key size than RSA and other such algorithms, and the difficulty of attacking or solving the EC discrete logarithm problem. However, elliptic curve cryptography is not widely used for symmetric encryption systems, block ciphers, or encryption of long messages.

The difficulty with such applications arises from the process for encrypting a plaintext message using an elliptic curve. In conventional elliptic curve cryptography, conventional bit string embedding into an elliptic curve point involves and iterative algorithm to search for an x-coordinate value that will lead to a quadratic residue value of the y-coordinate starting from an initial x-coordinate value specified by the bit string to be embedded. The process normally requires several iterations, and the number of iterations needed is different for different bit strings that are being embedded. This process incurs considerable overhead in time and in memory storage, since look-up tables are often used. Also, in convention elliptic curve cryptography, an elliptic curve polynomial defined over a finite field that needs N-bits for representation of its elements, only ((nx+ny+1)N−L) bits of the message data bits can be embedded in any elliptic polynomial point, where L is the number of extra bits that do not carry data.

U.S. Pat. No. 7,483,533, issued Jan. 27, 2009 to Ibrahim (one of the present inventors), which is hereby incorporated by reference in its entirety, described a cryptographic system based upon Ibrahim's elliptic polynomial equation, which has more than one x-coordinate into which data may be embedded. The '533 patent described methods for using an elliptic polynomial with more than one x-coordinate for digital signatures, public-key cryptography, and at least one method for use in symmetric or shared key cryptography. However, there still exists a need for an efficient, secure method for encrypting messages for symmetric encryption systems, and one that is particularly suitable for block ciphers.

Thus, a method of performing elliptic polynomial cryptography with elliptic polynomial hopping solving the aforementioned problems is desired.

SUMMARY OF THE INVENTION

The method of performing elliptic polynomial cryptography with elliptic polynomial hopping contemplates improving the security of exiting block ciphers by using elliptic polynomial cryptography. Different elliptic polynomials are used to encrypt different blocks of the same plaintext. The method provides for communicating securely over an insecure channel using symmetric key elliptic polynomial cryptography, which uses an elliptic polynomial with more than one independent x-coordinate, as described in U.S. Pat. No. 7,483,533, issued Jan. 27, 2009 to Ibrahim, the contents of which are incorporated by reference in their entirety.

More specifically, given a set of elliptic polynomial points that satisfy an elliptic polynomial equation with more than one independent x-coordinate defined over a finite field F of the following form:

-   -   one of the variables, termed the y-coordinate, has a maximum         degree of two, and appears on its own in only one of the         monomials;     -   the other variables, termed the x-coordinates, have a maximum         degree of three, and each must appear in at least one of the         monomials with a degree of three; and     -   all monomials that contain x-coordinates must have a total         degree of three;         and given that the group of points of the elliptic polynomial         with the above form are defined over additions in the extended         dimensional space described in the '533 patent, the new method         contemplates the use of elliptic polynomial hopping, wherein         different elliptic polynomials are used to encrypt different         blocks of the same plaintext, and wherein the number of         x-coordinates and the underlying finite filed used could also be         varied and selected from a pre-defined set.

By using elliptic polynomial cryptography with more than one x-coordinate, the additional x-coordinates may be used to embed extra message data bits in a single elliptic point that satisfies an elliptic polynomial equation. Given that nx additional x-coordinates are used, with nx greater or equal to one, a resulting elliptic point has (nx+1) x-coordinates, wherein all coordinates are elements of a finite field F. The number of points that satisfy an elliptic polynomial equation with nx additional x-coordinates defined over F and that can be used in the corresponding cryptosystem is increased by a factor of (#F)^(nx), where # denotes the size of a field.

This provides increasing security, wherein different elliptic polynomial are used to encrypt successive message blocks, and wherein each elliptic polynomial used to encrypt each message block is selected at random using an initial secret key and a random number generator. The only information known to an attacker would be the size of the ciphertext blocks.

The elliptic polynomial hopping method disclosed herein is made possible, wherein it is shown that the given form of the elliptic polynomial equation described above ensures that an elliptic polynomial and its twist are isomorphic to each other.

The embedding method allows the embedding of a bit string into the x-coordinates of an elliptic polynomial point in a deterministic and non-iterative manner when the elliptic polynomial has the above-described form. This new deterministic and non-iterative embedding method requires less time overhead than conventional iterative embedding methods used in existing elliptic curve polynomial cryptography, and also does not require a different number of iterations for different bit strings that are being embedded. This makes the method suitable for block ciphers.

The isomorphic relationship between an elliptic polynomial and its twist, which is obtained as a result of the given form of the elliptic polynomial equation, ensures that any bit string whose equivalent binary value is an element of the underlying finite field has a bijective relationship between the bit string and a point, which is either on an elliptic polynomial or its twist. This bijective relationship allows the development of elliptic polynomial hopping-based encryption.

Furthermore, up to (nx+ny+1)N bits (i.e. more than ((nx+ny+1)N−L) bits) can be encrypted in each elliptic polynomial point. In the classical approach of elliptic curve polynomial cryptography encryption and decryption, the security of the resulting cryptosystem relies on breaking the elliptic polynomial discrete logarithm problem, which can be summarized as: given the points k(x_(0,B),x_(1,B), . . . , x_(nx,B),y_(B)) and (x_(0,B),x_(1,B),x . . . , x_(nx,B),y_(B)), find the scalar k.

In the present method, different elliptic polynomials are used to encrypt successive message blocks, and the elliptic polynomials used to encrypt each succeeding message block are selected at random using an initial secret key and a random number generator. Since the elliptic polynomials used to encrypt each successive message block is not known, this makes the elliptic polynomial discrete logarithm problem much more difficult to solve, since the attacker does not know the elliptic polynomial coefficients that are needed to compute point additions and point doublings. The harder problem of the solving the discrete logarithm problem when the used elliptic polynomial is not known can be used either to increase security for the same finite field, or to reduce complexity for the same security by using a finite field with a smaller order.

In addition, all of the elliptic polynomial cryptography-based cipher block chaining methods disclosed herein are scalable, i.e., the key size may be changed without changing the underlying algorithm.

These and other features of the present invention will become readily apparent upon further review of the following specification and drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

The sole drawing FIGURE is a block diagram illustrating system components for implementing the method of performing elliptic polynomial cryptography with elliptic polynomial hopping according to the present invention.

These and other features of the present invention will become readily apparent upon further review of the following specification and drawings.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS

The method of performing elliptic polynomial cryptography with elliptic polynomial hopping provides elliptic polynomial cryptographic methods based on the elliptic polynomial discrete logarithm problem. It is well known that an elliptic polynomial discrete logarithm problem is a computationally “difficult” or “hard” problem.

The elliptic polynomial encryption methods to be described below use elliptic polynomials in their generation, where different elliptic polynomials are used for different blocks of the same plaintext. Particularly, the cryptographic methods use an elliptic polynomial with more than one independent x-coordinate. More specifically, a set of elliptic polynomial points are used which satisfy an elliptic polynomial equation with more than one independent x-coordinate which is defined over a finite field F having the following properties: One of the variables (the y-coordinate) has a maximum degree of two, and appears on its own in only one of the monomials; the other variables (the x-coordinates) have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and all monomials which contain x-coordinates must have a total degree of three.

The group of points of the elliptic polynomial with the above form is defined over additions in the extended dimensional space, and, as will be described in detail below, the method makes use of elliptic polynomials where different elliptic polynomials are used for different blocks of the same plaintext.

The particular advantage of using elliptic polynomial cryptography with more than one x-coordinate is that additional x-coordinates are used to embed extra message data bits in a single elliptic point that satisfies the elliptic polynomials equation. Given that nx additional x-coordinates are used, with nx being greater than or equal to one, a resulting elliptic point has (nx+1) x-coordinates, where all coordinates are elements of the finite field F. The number of points which satisfy an elliptic polynomials equation with nx additional x-coordinates defined over F and which can be used in the corresponding cryptosystem is increased by a factor of (#f)^(nx), where # denotes the size of a field.

Through the use of this particular method, security is increased through the usage of different elliptic polynomials for different message blocks during the encryption. Further, the elliptic polynomial used for each message block is selected at random, preferably using an initial value and a random number generator.

Given the form of the elliptic polynomial equation described above, the elliptic polynomial and its twist are isomorphic with respect to one another. The method uses an embedding technique, to be described in greater detail below, which allows the embedding of a bit string into the x-coordinates of an elliptic polynomial point in a deterministic and non-iterative manner when the elliptic polynomial has the above described form. This embedding method overcomes the disadvantage of the time overhead of the iterative embedding methods used in existing elliptic polynomial-based methods.

The difficulty of using conventional elliptic polynomial cryptography for message encryption typically lies in the iterative and non-deterministic method needed to embed a bit string into an elliptic polynomial point, which has the drawback of the number of iterations needed being different for different bit strings which are being embedded. As a consequence, different calculation times are required for different blocks of bit strings. Such a data-dependant generation time is not suitable for generalized encryption methods, which require data independent encryption times. Further, with regard to iterative and non-deterministic methods in conventional elliptic polynomial cryptography, given an elliptic polynomial defined over a finite field that needs N-bits for the representation of its elements, only ((nx+ny+1)N—L) bits of the message data bits can be embedded in any elliptic polynomial point.

The isomorphic relationship between an elliptic polynomial and its twist, which is obtained as a result of the given form of the elliptic polynomial equation, ensures that any bit string whose equivalent binary value is an element of the underlying finite field has a bijective relationship between the bit string and a point which is either on the elliptic polynomial or its twist. This bijective relationship allows for the development of the encryption to be described below.

In the conventional approach to elliptic polynomial cryptography, the security of the resulting cryptosystem relies on breaking the elliptic polynomial discrete logarithm problem, which can be summarized as: given the points k(x_(0,B),x_(1,B), . . . , x_(nx,B),y_(B),) and (x_(0,B),x_(1,B), . . . , x_(nx,B),y_(B)), find the scalar k.

Further, projective coordinates are used at the sending and receiving entities in order to eliminate inversion or division during each point addition and doubling operation of the scalar multiplication. It should be noted that all of present methods disclosed herein are scalable.

In the following, with regard to elliptic polynomials, the “degree” of a variable u^(i) is simply the exponent i. A polynomial is defined as the sum of several terms, which are herein referred to as “monomials”, and the total degree of a monomial u^(i)v^(i)w^(k) is given by (i+j+k). Further, in the following, the symbol E denotes set membership.

One form of the subject elliptic polynomial equation with more than one x-coordinate and one or more y-coordinates is defined as follows: the elliptic polynomial is a polynomial with more than two independent variables such that the maximum total degree of any monomial in the curve is three; at least two or more of the variables, termed the x-coordinates, have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and at least one or more variables, termed the y-coordinates, have a maximum degree of two, and each must appear in at least one of the monomials with a degree of two.

Letting S_(nx) represents the set of numbers from 0 to nx (i.e., S_(nx)={0, . . . , nx}), and letting S_(ny), represents the set of numbers from 0 to ny (i.e., S_(ny)={0, . . , ny}), and further setting (nx+ny)≧1, then, given a finite field, F, the following equation defined over F is one example of the polynomial described above:

$\begin{matrix} {{{{\sum\limits_{k \in S_{ny}}{a_{1k}y_{k}^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k}y_{l}}} + {\sum\limits_{k \in S_{ny}}{a_{3k}y_{k}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}}}{c_{1{kli}}y_{k}y_{l}x_{i}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}}}{c_{2{kl}}y_{k}x_{l}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}}}{c_{3{kli}}y_{k}x_{l}x_{i}}}} = {{\sum\limits_{l \in S_{nx}}{b_{1l}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l}^{2}x_{k}}} + {\sum\limits_{l,{k \in S_{nx}}}{b_{3{lk}}x_{l}x_{k}}} + {\sum\limits_{k \in S_{nx}}{b_{4k}x_{k}}} + b_{c}}}\mspace{79mu} {where}\mspace{79mu} {a_{1l},a_{2{kl}},a_{3k},c_{1{lki}},c_{2{kl}},c_{3{kli}},b_{1l},b_{2{lk}},b_{3{lk}},{{{b_{4k}\mspace{14mu}\&}\mspace{14mu} b_{c}} \in {F.}}}} & {(1),} \end{matrix}$

Two possible examples of equation (1) are y₀ ²=x₀ ³+x₁ ³+x₀x₁ and y₀ ²+x₀x₁y₀+y₀=x₀ ³+x₁ ³+x₀ ²x₁+x₀x₁ ²+x₀+x₁+x₀+x₁.

With regard to the use of the elliptic polynomial equation in the addition of points of an elliptic polynomial with more than one x-coordinate and one or more y-coordinates, we may examine specific coefficients a_(1k),a_(2kl),a_(3k),c_(1lki),c_(2kl),c_(3kli),b_(1l),b_(2lk),b_(3lk),b_(4k) & b_(c)∈F for F, wherein a set of points EC^(nx+ny+2) is defined as the (nx+ny+2)-tuple (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny)), wherein x_(i),y_(k)∈F , i∈S_(nx) and k∈S_(ny). This set of points are solutions of F, though excluding the point (0,0, . . . , 0) and the point at infinity, (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1)y_(1,0), . . . , y_(ny,1)).

The rules for conventional elliptic curve point addition may be adopted to define an additive binary operation, “+”, over EC^(nx+ny+2), i.e., for all

(x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and

(x_(0,2),x_(1,2), . . . , x_(nx,2),y_(0,2),y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2),

the sum:

(x _(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2))

is also

(x_(0,3),x_(1,3), . . . , x_(nx,3) ,y _(0,3),y_(1,3), . . . , y_(ny,3))∈EC^(nx+ny+2).

As will be described in greater detail below, (EC^(nx+ny+2), +) forms a pseudo-group (p-group) over addition that satisfies the following axioms:

(i) There exists a set (x_(0,1),x_(1,1) , . . . , x _(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) such that (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))+(x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))=(x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))

for all (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))∈EC^(nx+ny+2);

(ii) for every set (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))∈EC^(nx+ny+2) , there exists an inverse set, −(x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))∈EC^(nx+ny+2) , such that (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))−(x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))=(x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1));

(iii) the additive binary operation in (EC^(nx+ny+2), +) is commutative, and the p-group (EC^(nx+ny+2), +) forms a group over addition when:

(iv) the additive binary operation in (EC^(nx+ny+2), +) is associative.

Prior to a more detailed analysis of the above axioms, the concept of point equivalence must be further developed. Mappings can be used to indicate that an elliptic point represented using (nx+1) x-coordinates and (ny+1) y-coordinates, (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny)) is equivalent to one or more elliptic points that satisfy the same elliptic polynomial equation, including the equivalence of an elliptic point to itself.

Points that are equivalent to one another can be substituted for each other at random, or according to certain rules during point addition and/or point doubling operations. For example, the addition of two points (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1)) and (x_(0,2),x_(1,2), . . . , y_(0,2),y_(1,2), . . . , y_(ny,2)) is given by:

(x _(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,1) ,x _(1,1) , . . . , y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2))

If the point (x_(0,1) ^(″),x_(1,1) ^(″), . . . , x_(nx,1) ^(″),y_(0,1) ^(″),y_(1,1) ^(″), . . . , y_(ny,1) ^(″)) is equivalent to the point (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1)), then the former can be substituted for (x_(0,1),x_(1,1), . . . , x_(nx,1), y_(0,1),y_(1,1), . . . , y_(ny,1)) in the above equation in order to obtain:

(x _(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,1) ^(″) ,x _(1,1) ^(″) , . . . , x _(nx,1) ,y _(0,1) ^(″) ,y _(1,1) ^(″) , . . . , y _(ny,1) ^(″))+(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2)).

Mappings that are used to define equivalences can be based on certain properties that exist in elliptic polynomial equations, such as symmetry between variables. As an example, we consider the point (x₀,x₁,y₀) that satisfies the equation y₀ ²=x₀ ³+x₁ ³+x₀x₁. The equivalent of this point may be defined as (x₁,x₀,−y₀).

With regard to the addition rules for (EC^(nx+ny+2), +), the addition operation of two points (x₀,x_(1,1) , . . . , x _(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and (x_(0,2),x_(1,2), . . . , x_(nx,2),y_(0,2),y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2),otherwise expressed as:

(x _(0,3) ,x _(1,3) , . . . , x _(nx,2) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2))

is calculated in the following manner. First, a straight line is drawn which passes through the two points to be added. The straight line intersects EC^(nx+ny+2) at a third point, which we denote (x_(0,3) ^(′),x_(1,3) ^(′), . . . , x_(nx,3) ^(′),y_(0,3) ^(′),y_(1,3) ^(′), . . . , y_(ny,3) ⁺)∈EC^(nx+ny+2) . The sum point is defined as (x_(0,3),x_(1,3), . . . , x_(nx,3),y_(0,3),y_(1,3), . . . , y_(ny,3))=−(x_(0,3) ^(′),x_(1,3) ^(′), . . . , x_(nx,3) ^(′),y_(0,3) ^(′),y_(1,3) ^(′), . . . , y_(ny,3) ^(′)).

From the above definition of the addition rule, addition over EC^(nx+ny+2) is commutative, that is:

(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2))=(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2))+(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1)) for all (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and for all (x_(0,2),x_(1,2), . . . , x_(nx,2),y_(0,2),y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2). This commutivity satisfies axiom (iii) above.

There are two primary cases that need to be considered for the computation of point addition for (EC^(nx+ny+2), +): (A) for at least one j∈S_(nx), x_(j,1)≠x_(j,2); and (B) for all j∈S_(nx), x_(j,1)=x_(j,2)=x_(j,o). Case B includes three sub-cases:

i. for all k∈S_(ny)y_(k,1)=y_(k,2) that is:

(x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))=(x_(0,2),x_(1,2), . . . , x_(nx,2),y_(0,2),y_(1,2), . . . , y_(ny,2)),

which corresponds to point doubling;

ii. for k∈S_(ny) & k≠0, y_(k,1)=y_(k,2) and where y_(0,1) & y_(0,2) are the roots of the following quadratic equation in y₀:

${{{a_{10}y_{0}^{2}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0}}{a_{1k}y_{k,l}^{2}}} + {y_{0}\left\{ {{\sum\limits_{{k \in S_{ny}},{k \neq 0}}{a_{2k\; 0}y_{k,1}}} + {\sum\limits_{{l \in S_{ny}},{l \neq 0}}{a_{201}y_{l,1}}}} \right\}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k},{{{l\mspace{11mu}\&}\mspace{11mu} k} \neq 0}}{a_{2{kl}}y_{k,1}y_{l,1}}} + {a_{30}y_{0}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0}}{a_{3k}y_{k,1}}} + {y_{0}^{2}{\sum\limits_{i \in S_{nx}}{c_{100i}x_{i,1}}}} + {y_{0}\left\{ {{\sum\limits_{{k \in S_{ny}},{i \in S_{nx}}}{c_{1k\; 0i}y_{k,1}x_{i,1}}} + {\sum\limits_{{l \in S_{ny}},{i \in S_{nx}}}{c_{10{li}}y_{l,1}x_{i,1}}}} \right\}} + {\sum\limits_{k,{l \in S_{ny}},{{{l\mspace{11mu}\&}\mspace{11mu} k} \neq 0},{i \in S_{nx}}}{c_{1{kli}}y_{k,1}y_{l,1}x_{i,1}}} + {y_{0}{\sum\limits_{l \in S_{nx}}{c_{20l}x_{l,1}}}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0},{l \in S_{nx}}}{c_{2{kl}}y_{k,1}x_{l,1}}} + {y_{0}{\sum\limits_{l,{i \in S_{nx}}}{c_{30{li}}x_{l,i}x_{l,1}}}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0},l,{i \in S_{nx}}}{c_{3{kli}}y_{k,1}x_{l,1}x_{i,1}}}} = {{\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,1}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,1}^{2}x_{k,1}}} + {\sum\limits_{l,{k \in S_{nx}}}{b_{3{lk}}x_{l,1}x_{k,1}}} + {\sum\limits_{k \in S_{nx}}{b_{4k}x_{k,1}}} + b_{c}}},$

which corresponds to point inverse; and

iii. all other conditions except those in Cases B.i and B.ii. This case occurs only when ny is greater than or equal to one.

For Case A, for at least one j∈S_(nx)x_(j,1)≠x_(j,2), a straight line in (nx+ny+2)-dimensional space is defined by

${\frac{y_{k} - y_{k,1}}{y_{k,2} - y_{k,1}} = \frac{x_{j} - x_{j,1}}{x_{j,2} - x_{j,1}}},$

k∈S_(ny) and j∈S_(nx) and

${\frac{x_{i} - x_{i,1}}{x_{i,2} - x_{i,1}} = \frac{x_{j} - x_{j,1}}{x_{j,2} - x_{j,1}}},$

i≠j,i∈S_(nx).

For this case, y_(k)=m_(yk)x_(j)+c_(yk), where

$m_{yk} = \frac{y_{k,2} - y_{k,1}}{x_{j,2} - x_{j,1}}$

and c_(yk)=y_(k,1)−x_(j,1)m_(jk). Further, x_(i)=m_(xi)x_(j)+c_(xi), where

$m_{xi} = \frac{x_{i,2} - x_{i,1}}{x_{j,2} - x_{j,1}}$

and c_(xi)=x_(i,1)−x_(j,1)m_(xi). Equation (1) can then be re-written as:

${{\sum\limits_{k \in S_{ny}}{a_{1\; k}y_{k}^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2\; {kl}}y_{k}y_{l}}} + {\sum\limits_{k \in S_{ny}}{a_{3\; k}y_{k}}} + {x_{j}{\sum\limits_{k,{l \in S_{ny}}}{c_{1\; {klj}}y_{k}y_{l}}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}},{i \neq j}}{c_{1\; {kli}}y_{k}y_{l}x_{i}}} + {x_{j}{\sum\limits_{k \in S_{ny}}{c_{2\; {kj}}y_{k}}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}{c_{2\; {kl}}y_{k}x_{l}}} + {x_{j}^{2}{\sum\limits_{k \in S_{ny}}{c_{3\; {kjj}}y_{k}}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}{c_{3\; {klj}}y_{k}x_{l}}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{i \in S_{nx}},{i \neq j}}{c_{3\; {kji}}y_{k}x_{i}}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}},{{{l\&}\; i} \neq j}}{c_{3\; {kli}}y_{k}x_{l}x_{i}}}} = {{b_{1\; j}x_{j}^{3}} + {\sum\limits_{{l \in S_{nx}},{l \neq j}}{b_{1\; l}x_{l}^{3}}} + {x_{j}^{2}{\sum\limits_{{k \in S_{nx}},{l \neq j}}{b_{2\; {jk}}x_{k}}}} + {x_{j}{\sum\limits_{{l \in S_{nx}},{l \neq j}}{b_{2\; {lj}}x_{l}^{2}}}} + {\sum\limits_{l,{k \in S_{nx}},l,{k \neq j},{l \neq k}}{b_{2\; {lk}}x_{l}^{2}x_{k}}} + {b_{3\; {jj}}x_{j}^{2}} + {x_{j}{\sum\limits_{{k \in S_{nx}},{k \neq j}}{b_{3\; {jk}}x_{k}}}} + {x_{j}{\sum\limits_{l \in {{S_{{nx},}l} \neq j}}{b_{3\; {lj}}x_{j}}}} + {\sum\limits_{l,{k \in S_{nx}},l,{k \neq j}}{b_{3\; {lk}}x_{l}x_{k}}} + {b_{4\; j}x_{j}} + {\sum\limits_{{k \in S_{nx}},{k \neq j}}{b_{4\; k}x_{k}}} + b_{c}}$

and substitution of the above into the rewritten equation (1) for y_(k) , k∈S_(ny) and x_(i), i∈S_(nx) & i≠j, results in:

${{\sum\limits_{k \in S_{ny}}{a_{1\; k}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}^{2}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{{a_{2\; {kl}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{yl}x_{j}} + c_{yl}} \right)}} + {\sum\limits_{k \in S_{ny}}{a_{3\; k}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}} + {x_{j}{\sum\limits_{k,{l \in S_{ny}}}{{c_{1\; {klj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{yl}x_{j}} + c_{yl}} \right)}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}},{i \neq j}}{{c_{1\; {kli}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{yl}x_{j}} + c_{yl}} \right)\left( {{m_{xi}x_{j}} + c_{xi}} \right)}} + {x_{j}{\sum\limits_{k \in S_{ny}}{c_{2\; {kj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}{{c_{2\; {kl}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}} + {x_{j}^{2}{\sum\limits_{k \in S_{ny}}{c_{3\; {kjj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}{{c_{3\; {klj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{i \in S_{nx}},{i \neq j}}{{c_{3\; {kji}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xi}x_{j}} + c_{xi}} \right)}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}},{{{l\&}\; i} \neq j}}{{c_{3\; {kli}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xl}x_{j}} + c_{xl}} \right)\left( {{m_{xi}x_{j}} + c_{xi}} \right)}}} = {{b_{1\; j}x_{j}^{3}} + {\sum\limits_{{l \in S_{nx}},{l \neq j}}{b_{1\; l}\left( {{m_{xl}x_{j}} + c_{l}} \right)}^{3}} + {x_{j}^{2}{\sum\limits_{{k \in S_{nx}},{k \neq j}}{b_{2\; {jk}}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}}} + {x_{j}{\sum\limits_{{l \in S_{nx}},{l \neq j}}{b_{2\; {lj}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}^{2}}} + {\sum\limits_{l,{k \in S_{nx}},{{{l\&}k} \neq j},{l \neq k}}{{b_{2\; {lk}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}^{2}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}} + {b_{3\; {jj}}x_{j}^{2}} + {x_{j}{\sum\limits_{{k \in S_{nx}},{k \neq j}}{b_{3\; {jk}}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}}} + {x_{j}{\sum\limits_{l,{k \in {{S_{{nx},}l} \neq j}}}{b_{3\; {lj}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}}} + {\sum\limits_{l,{k \in S_{nx}},{{{l\&}k} \neq j}}{{b_{3\; {lk}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}} + {b_{4\; j}x_{j}} + {\sum\limits_{{k \in S_{nx}},{k \neq j}}{a_{6\; k}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}} + b_{c}}$

Expanding the terms in the above equation leads to a cubic equation in x_(j), C₃x_(j) ³+C₂x_(j) ²+C₁x_(j)+C₀=0 where C₃,C₂,C₁ & C₀ are obtained from the above equation.

Assuming C₃≠0, the above cubic equation in x_(j) has three roots x_(j,1),x_(j,2), & x_(j,3) ^(′) and can be written as (x_(j)−x_(j,1))(x_(j)−x_(j,2))(x_(j)−x_(j,3) ^(′))=0. Normalizing by the coefficient of x³ and equating the coefficients of x² in the resulting equation with that in (x_(j)−x_(j,1))(x_(j)−x_(j,2)(x_(j)−x_(j,3))=0, one obtains a solution for x_(j,3) ^(′);

$\begin{matrix} {x_{j,3}^{\prime} = {\frac{- C_{2}}{C_{3}} - x_{j,1} - {x_{j,2}.}}} & (2) \end{matrix}$

The values of y_(k,3) ^(′), k∈S_(ny), and x_(i,3) ^(′), i∈S_(nx) & i≠j, may be similarly obtained from equations for x_(j)=x_(j,3) ^(′).

For cases where C₃=0, C₃x_(j) ³+C₂x_(j) ²+C₁x_(j)+C₀=0 becomes a quadratic equation. Such quadratic equations may be used in the definition of point equivalences.

With regard to Case B for all j∈S_(nx), x_(j,1)=x_(j,2), the three sub-cases are considered below. In all cases, x_(j,0) is defined as x_(j,o)=x_(j,1)=x_(j,2), j∈S_(nx).

For Case B.i., all k∈S_(ny), y_(k,1)=y_(k,2), which corresponds to point doubling. In this case, (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))=(x_(0,2),x_(1,2), . . . , x_(nx,2),y_(0,2), . . . , y_(ny,2)). Letting:

(x _(0,o) ,x _(1,o) , . . . , x _(nx,0) ,y _(0,o) ,y _(1,o) , . . . , y _(ny,o))=(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,2) ,x _(1,2) , . . . , x _(nx,2) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2))

the sum is written as

(x _(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,o) ,x _(1,0) , . . . , x _(nx,o) ,y _(0,o) ,y _(1,o) , . . . , y _(ny,o))+(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,o) ,y _(1,o) , . . . , y _(ny,o))   (3).

There are several ways of defining the addition in this case. Three possible rules are described below. Case B.i.1: Letting S_(nx,Lx) denote a subset of S_(nx) with Lx elements, i.e., S_(nx,LX) ⊂S_(nx); letting S_(ny,Ly) denote a subset of S_(ny) with Ly elements and which does not include the element 0; i.e. S_(ny,Ly) ⊂S_(ny) and 0∉S_(ny,Ly); setting the value of Lx and Ly as at least one, then the straight line in this case can be defined as a tangent to the point (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,o),y_(1,o), . . . , y_(ny,o)) defined in a sub-dimensional space with coordinates y_(n) and x_(m) with n∈S_(ny,Lv) and m∈S_(nx,Lx).

In this case, the gradients m_(yn) and m_(xm) of the straight line to be used in equation (2) are essentially the first derivatives of y_(n) and x_(m), n∈S_(ny,Ly) and m∈S_(nx,Lx), for F with respect to x_(j), j∈S_(nx,Lx), i.e.,

$m_{yn} = {{\frac{y_{n}}{x_{j}}\mspace{14mu} {and}\mspace{14mu} m_{xn}} = {\frac{x_{m}}{x_{j}}.}}$

Using these derivatives for the values of the gradients,

${m_{yn} = \frac{y_{n}}{x_{j}}},$

where n∈S_(ny,Ly), and

${m_{xn} = \frac{x_{m}}{x_{j}}},$

where m∈S_(nx,Lx), in equation (2) and noting that it is assumed that

${\frac{x_{m}}{x_{j}} = 0},$

for m∈(S_(nx)−S_(nx,Lx)) and

${\frac{y_{n}}{x_{j}} = 0},$

for n∈(S_(ny)−S_(ny,Lx)), then a solution for x_(j,3) ^(′) may be obtained.

The values of y_(n,3) ^(′) for n∈S_(ny) and x_(m,3) ^(′), for m∈S_(nx) & m≠j, can further be obtained for x_(j)=x_(j,3) ^(′). The choice of the x_(m)-coordinates, mεS_(nx,Lx), and y_(n)-coordinates, n∈S_(ny,Ly), which can be used to compute the tangent of the straight line in this case may be chosen at random or according to a pre-defined rule. Further, a different choice of the x_(m)-coordinates, m∈S_(nx,Lx), and y_(n)-coordinates, n∈S_(ny,Ly), may be made when one needs to compute successive point doublings, such as that needed in scalar multiplication.

With regard to the next case, Case B.i.2, the second possible way of defining the addition of a point with itself is to apply a sequence of the point doublings according to the rule defined above in Case B.i.1, where the rule is applied with a different selection of the x-coordinate(s) and y-coordinates(s) in each step of this sequence.

In the third sub-case, Case B.i.3, a point is substituted with one of its equivalents. Letting (x_(0,oe),x_(1,oe), . . . , x_(nx,oe),y_(0,oe),y_(1,oe), . . . , y_(ny,oe)) represent the equivalent point of (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,o),y_(1,o), . . . , y_(ny,o)), then equation (3) may be written as:

(_(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,o) ,y _(1,o) , . . . , y _(ny,o))+(x _(0,oe) ,x _(1,oe) , . . . , x _(nx,oe) ,y _(0,oe) ,y _(1,oe) , . . . , y _(ny,oe)).

With regard to Case B.ii, for k∈S_(ny) & k≠0, y_(k,1)=y_(k,2), and where y_(0,1) & y_(0,2) are the roots of the quadratic equation in y₀, this case corresponds to generation of the point inverse.

Letting y_(k,1)=y_(k,2)=y_(k,o) for k∈S & k≠0, then any two points, such as the point (x_(0,o),x_(1,o), . . . , x_(nx,o)y_(0,1),y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) and the point (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,2),y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2), are in the hyper-plane with x_(i)=x_(i,o), i∈S_(nx) and y_(k)=y_(k,o), k∈S_(ny) & k≠0. Thus, any straight line joining these two points such that (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,1),y_(1,o), . . . , y_(ny,o))≠(x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,2),y_(1,o), . . . , y_(ny,o)) is also in this hyper-plane.

Substituting the values of x_(0,o),x_(1,o), . . . , x_(nx,o),y_(1.o), . . . , & y_(ny,o) in an elliptic polynomial equation with multiple x-coordinates and multiple y-coordinates, a quadratic equation for y₀ is obtained, as given above. Thus, y₀ has only two solutions, y_(0,1) & y_(0,2).

Thus, a line joining points (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,1),y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) and (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,2),y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) does not intersect with EC^(nx+ny+2) at a third point.

A line that joins these two points is assumed to intersect with EC^(nx+ny+2) at infinity (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1)y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2). This point at infinity is used to define both the inverse of a point in EC^(nx+ny+2) and the identity point. According to the addition rule defined above, one can write:

(x ₀ ,x ₁ , . . . , x _(nx) ,y _(0,1) ,y ₁ , . . . , y _(ny))+(x ₀ ,x ₁ , . . . , x _(nx) ,y _(0,2) ,y ₁ , . . . , y _(ny))=(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))   (4),

since the third point of intersection of such lines is assumed to be at infinity, (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2). Thus, this equation defines a unique inverse for any point (x₀,x₁, . . . , x_(nx),y₀,y₁, . . . , y_(ny))∈EC^(nx+ny+2), namely:

−(x ₀ ,x ₁ , . . . , x _(nx) ,y _(0,1) ,y ₁ , . . . , y _(ny))=(x ₀ ,x ₁ , . . . , x _(nx) ,y _(0,2) ,y ₁ , . . . , y _(hy)).

Thus, equation (4) can be written as:

(x ₀ ,x ₁ , . . . , x _(nx) ,y _(0,1) ,y ₁ , . . . , y _(ny))−(x ₀ ,x ₁ , . . . , x _(nx) ,y _(0,1) ,y ₁ , . . . , y _(ny))=(x _(0,1) ,x _(1,1) , . . . , x _(nx,1) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))   (5).

Further, a line joining the point at infinity (x_(0,1),x_(1,1), . . . , x_(nx,1),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and a point (x₀,x₁, . . . , x_(nx),y_(0,1),y₁, . . . , y_(ny))∈EC^(nx+ny+2) will intersect with EC^(nx+ny+2) at (x₀,x₁, . . . , x_(nx),y_(0,2),y₁, . . . , y_(ny))∈EC^(nx+ny+2) . Thus, from the addition rule defined above,

(x ₀ ,x ₁ , . . . , x _(nx) ,y ₀ ,y ₁ ,y ₂ , . . . , y _(ny))+(x _(0,1) ,x _(1,1) , . . . , x _(nx) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))=(x ₀ ,x ₁ , . . . , x _(nx) ,y ₀ ,y ₁ , . . . , y _(ny))   (6).

Equation (5) satisfies axiom (ii) while equation (6) satisfies axiom (i), defined above.

Case B.iii applies for all other conditions except those in cases B.i and B.ii. This case occurs only when ny is greater than or equal to one. Given two points (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,1),y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,2),y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+) ² that do not satisfy the conditions of cases B.i and B.ii above, the sum point is written as (x_(0,3),x_(1,3), . . . , x_(nx,3),y_(0,3),y_(1,3), . . . , y_(ny,3))=(x_(0,o),x_(1,o), . . . , y_(0,1),y_(1,1), . . . , y_(ny,1))+(x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,2),y_(1,2), . . . , y_(ny,2)).

There are several possible rules to find the sum point in this case. Three possible methods are given below.

1) Using three point doublings and one point addition,

(x _(0,2) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=4(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))−2(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,2) ,y _(1,2) , . . . , y _(ny,2));

2) using one point doublings and three point additions,

(x _(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(2(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,2) ,y _(1,2), . . . , y_(ny,2)))−(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1)); and

3) using point equivalence,

(x _(0,3) ,x _(1,3) , . . . , x _(nx,3) ,y _(0,3) ,y _(1,3) , . . . , y _(ny,3))=(x _(0,o) ,x _(1,o) , . . . , x _(nx,o) ,y _(0,1) ,y _(1,1) , . . . , y _(ny,1))+(x _(0,oe) ,x _(1,oe) , . . . , x _(nx,oe) ,y _(0,2e) ,y _(1,2e) , . . . , y _(ny,2e)),

where (x_(0,oe),x_(1,oe), . . . , x_(nx,oe),y_(0,2e),y_(1,2e), . . . , y_(ny,2e)) is assumed to be the equivalent point of (x_(0,o),x_(1,o), . . . , x_(nx,o),y_(0,2),y_(1,2), . . . , y_(ny,2)).

It should be noted that the above methods for defining the sum point are not the only ones that can be defined and are provided for exemplary purposes only. The choice of method used to obtain the sum point in this case should depend on the computation complexity of point addition and point doubling.

With regard to associativity, one way of proving associativity of (EC^(nx+ny+2),+) is as follows: Given particular elliptic polynomial equations (i.e., for particular coefficients a_(1l),a_(2kl),a_(3k l ,c) _(1lki),c_(2kl),c_(3kli),b_(1l),b_(2lk),b_(3lk),b_(4k),b_(c)∈F) defined over a finite field F, if it can be shown by computation that any point Q∈EC^(nx+ny+2) (and any of its equivalent points) can be uniquely written as k_(Q)P∈EC^(nx+ny+2), where P is the generator point of (EC^(nx+ny+2),+), then the corresponding EC^(nx+ny+2) groups based on such polynomials are associative. This is because any three points Q,R,S∈EC^(nx+ny+2) (or any of their equivalent points) can be written as k_(Q)P,k_(R)P,k_(S)P∈EC^(nx+ny+2), respectively, thus their sum (Q+R+S)=(k_(Q)P+k_(R)P+k_(S)P)=(k_(Q)+k_(R)+k_(S))P can be carried out in any order.

The following elliptic polynomial equation with nx=1 and ny=0 is used to show an example of the equations in Case A used in point addition: y₀ ²=x₀ ³+x₁ ³+x₀x₁. Choosing x_(j)=x₀, and substituting y_(k)=m_(yk)x_(j)+c_(yk) from Case A above for y₀, and the corresponding equation x_(i)=m_(xi)x_(j)+c_(xi) for x₁, one obtains (m_(y0)x₀+c_(y0))²=x₀ ³+(m_(x1)x₀+c_(x1))³+x₀(m_(x1)x₀+c_(x1)).

Expanding this equation yields the equation m_(y0) ²x₀ ²+2m_(y0)c_(y0)x₀+c_(y0) ²=x₀ ³+m_(x1) ³x₀ ³+3m_(x1) ²c_(x1)x₀ ²+3m_(x1)c_(x1) ²x₀+c_(x1) ³+m_(x1)x₀ ²+c_(x1)x₀, or (1+m_(x1) ³)x₀ ³+(3m_(x1) ²c_(x1)+m_(x1)−m_(y0) ²)x₀ ²+(3m_(x1)c_(x1) ²+c_(x1)−2m_(y0)c_(y0))x₀+c_(x1) ³−c_(y0) ²=0. From equation (2), the solution for x_(0,3) ^(′) in this case is obtained:

$x_{0,3}^{\prime} = {\frac{- \left( {{3\; m_{x\; 1}^{2}c_{x\; 1}} + m_{x\; 1} - m_{y\; 0}^{2}} \right)}{\left( {1 + m_{x\; 1}^{3}} \right)} - x_{j,1} - {x_{j,2}.}}$

Similarly, one can obtain the values of y_(0,3) ^(′) and x1 _(1,3) ^(′) for x₀=x_(0,3) ^(′).

It should be noted that when m_(x1)=−1, the coefficient of the cubic term in the above is zero; i.e. C₃=0. In this case, the resulting quadratic equation can be used in the definition of point equivalences for the points that satisfy the elliptic polynomial equation.

Each of the equations for point addition and point doublings derived for cases A and B above require modular inversion or division. In cases where field inversions or divisions are significantly more expensive (in terms of computational time and energy) than multiplication, projective coordinates are used to remove the requirement for field inversion or division from these equations.

Several projective coordinates can be utilized. In the preferred embodiment, the Jacobean projective coordinate system is used. As an example, we examine:

$\begin{matrix} {{x_{i} = {{\frac{X_{i}}{V^{2}}\mspace{14mu} {for}\mspace{14mu} i} \in S_{nx}}};{and};{and}} & (7) \\ {y_{k} = {{\frac{Y_{k}}{V^{3}}\mspace{14mu} {for}\mspace{14mu} k} \in {S_{ny}.}}} & (8) \end{matrix}$

Using Jacobian projection yields:

$\begin{matrix} {{{\sum\limits_{k \in S_{ny}}{a_{1\; k}\frac{Y_{k}^{2}}{V^{6}}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2\; {kl}}\frac{Y_{k}}{V^{3}}\frac{Y_{l}}{V^{3}}}} + {\sum\limits_{k \in S_{ny}}{a_{3\; k}\frac{Y_{k}}{V^{3}}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}}}{c_{1\; {kli}}\frac{Y_{k}}{V^{3}}\frac{Y_{l}}{V^{3}}\frac{X_{i}}{V^{2}}}} + {\sum\limits_{k,{l \in S_{ny}},{l \in S_{nx}}}{c_{2\; {kl}}\frac{Y_{k}}{V^{3}}\frac{Y_{l}}{V^{2}}}} + {\sum\limits_{k,{l \in S_{ny}},l,{i \in S_{nx}}}{c_{3\; {kli}}\frac{Y_{k}}{V^{3}}\frac{X_{l}}{V^{2}}\frac{X_{i}}{V^{2}}}}} = {{\sum\limits_{l \in S_{nx}}{b_{1\; l}\frac{X_{l}^{3}}{V^{6}}}} + {\sum\limits_{k,{l \in S_{nx}},{l \neq k}}{b_{2\; {lk}}\frac{X_{l}^{2}}{V^{4}}\frac{X_{k}}{V^{2}}}} + {\sum\limits_{k,{l \in S_{nx}}}{b_{3\; {lk}}\frac{X_{l}}{V^{2}}\frac{X_{k}}{V^{2}}}} + {\sum\limits_{k \in S_{nx}}{b_{4\; k}\frac{X_{k}}{V^{2}}}} + b_{c}}} & (9) \end{matrix}$

which can be rewritten as:

$\begin{matrix} {{{\sum\limits_{k \in S_{ny}}{a_{1\; k}Y_{k}^{2}V^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2\; {kl}}Y_{k}Y_{l}V^{2}}} + {\sum\limits_{k \in S_{ny}}{a_{3\; k}Y_{k}V^{5}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}}}{c_{1\; {kli}}Y_{k}Y_{l}X_{i}}} + {\sum\limits_{k,{l \in S_{ny}},{l \in S_{nx}}}{c_{2\; {kl}}Y_{k}X_{l}V^{3}}} + {\sum\limits_{k,{l \in S_{ny}},l,{i \in S_{nx}}}{c_{3\; {kli}}Y_{k}X_{l}X_{i}V}}} = {{\sum\limits_{l \in S_{nx}}{b_{1\; l}X_{l}^{3}V^{2}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2\; {lk}}X_{l}^{2}X_{k}V^{2}}} + {\sum\limits_{l,{k \in S_{nx}}}{b_{3\; {lk}}X_{l}X_{k}V^{4}}} + {\sum\limits_{k \in S_{nx}}{b_{4\; k}X_{k}V^{6}}} + {b_{c}{V^{8}.}}}} & (10) \end{matrix}$

In the following, the points (X₀,X₁, . . . , X_(nx),Y₀,Y₁, . . . Y_(ny),V) are assumed to satisfy equation (10). When V≠0, the projected point (X₀,X₁, . . . , X_(nx),Y₀,Y₁, . . . , Y_(ny),V) corresponds to the point:

${\left( {x_{0},x_{1},\ldots \mspace{14mu},x_{nx},y_{0},y_{1},\ldots \mspace{14mu},y_{ny}} \right) = \left( {\frac{X_{0}}{V^{2}},\frac{X_{1}}{V^{2}},\ldots \mspace{14mu},\frac{X_{nx}}{V^{2}},\frac{Y_{0}}{V^{3}},\frac{Y_{1}}{V^{3}},\ldots \mspace{14mu},\frac{Y_{ny}}{V^{3}}} \right)},$

which satisfies equation (1).

Using Jacobean projective coordinates, equation (10) can be written as:

$\begin{matrix} {\left( {\frac{X_{0,3}}{V_{3}^{2}},\frac{X_{1,3}}{V_{3}^{2}},\ldots \mspace{14mu},\frac{X_{{nx},3}}{V_{3}^{2}},\frac{Y_{0,3}}{V_{3}^{3}},\frac{Y_{1,3}}{V_{3}^{3}},\ldots \mspace{14mu},\frac{Y_{{ny},3}}{V_{3}^{3}}} \right) = {\left( {\frac{X_{0,1}}{V_{1}^{2}},\frac{X_{1,1}}{V_{1}^{2}},\ldots \mspace{14mu},\frac{X_{{nx},1}}{V_{1}^{2}},\frac{Y_{0,1}}{V_{1}^{3}},\frac{Y_{1,1}}{V_{1}^{3}},\ldots \mspace{14mu},\frac{Y_{{ny},1}}{V_{1}^{3}}} \right) + {\left( {\frac{X_{0,2}}{V_{2}^{2}},\frac{X_{1,2}}{V_{2}^{2}},\ldots \mspace{14mu},\frac{X_{{nx},2}}{V_{2}^{2}},\frac{Y_{0,2}}{V_{2}^{3}},\frac{Y_{1,2}}{V_{2}^{3}},\ldots \mspace{14mu},\frac{Y_{{ny},2}}{V_{2}^{3}}} \right).}}} & (11) \end{matrix}$

By using Jacobian projective coordinates in the equations of

Cases A and B above, and by an appropriate choice of the value of V₃, it can be shown that point doubling and point addition can be computed without the need for field inversion or division.

As described above, conventional bit string embedding into an elliptic curve point involves an iterative algorithm to search for an x-coordinate value which will lead to a quadratic residue value of the y-coordinate starting from an initial x-coordinate value specified by the bit string to be embedded. However, such a process requires that the number of iterations needed is different for different bit strings that are being embedded. In the present method, an embedding methodology is utilized that embeds a bit string into an appropriate elliptic polynomial point with (nx+1) x-coordinates and (ny+1) y-coordinates in a deterministic and non-iterative manner. Further, the elliptic polynomial equation is of a specified form, i.e., it is isomorphic to its twist. This method circumvents the need for an iterative algorithm that involves the usual search for a quadratic residue value of the y-coordinate (which typically requires several iterations) and, further, suffers from the drawback that the number of iterations needed is different for different bit strings that are being embedded.

In order to examine the embedding method, the twist of an elliptic polynomial equation needs to be defined. Given an elliptic polynomial with (nx+1) x-coordinates and (ny+1) y-coordinates of the form described above:

$\begin{matrix} {{{y_{0}^{2} + {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k}^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k}y_{l}}}} = {{\sum\limits_{l \in S_{nx}}{b_{1l}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l}^{2}x_{k}}}}},\mspace{79mu} {{where}\mspace{14mu} a_{1l}},a_{2{kl}},b_{1l},{b_{2{lk}} \in {F.}}} & (12) \end{matrix}$

Given certain values for the x-coordinates x_(0,o),x_(1,o), . . . , x_(nx,o) and y-coordinates y_(1,o), . . . , y_(ny,o), respectively, that are elements of the finite field, F, these values are substituted into the elliptic polynomial equation (1) in order to obtain a quadratic equation in y₀:

$\begin{matrix} {y_{0}^{2} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k,o}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k,o}y_{l,o}}} +}} \\ {{{\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,o}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,o}^{2}x_{k,o}}}}} \\ {= {T.}} \end{matrix}$

If a solution of the above quadratic equation (i.e., y₀ ²=T) is an element of the finite field F, the point (x_(0,o),x_(1,o), . . . , x_(nx,o),y₀,y_(1,o), . . . , y_(ny,o)) is said to satisfy the given elliptic polynomial equation. If a solution of the above quadratic equation is not an element of the finite field F, the point (x_(0,o),x_(1,o), . . . , x_(nx,o),y₀,y_(1,o), . . . , y_(ny,o)) is said to satisfy the twist of the given elliptic curve equation. The inventive embedding method is based on the isomorphic relationship between a curve and its twist as described in the following theorem:

An elliptic polynomial equation of the form given above is isomorphic to its twist if:

-   -   1) there are mathematical mappings that can be defined on the         values of x₀,x₁, . . . , x_(nx),y₁, . . . , y_(ny) (i.e.,         φ_(x)(x_(i)) and φ_(y)(y_(i))) such that any point (x₀,x₁, . . .         , x_(nx),y₀,y₁, . . . , y_(ny)) that satisfies such an elliptic         polynomial equation can be mapped into another point         (φ_(x)(x₀),φ_(x)(x₁), . . . , φ_(x)(x_(xn)),φ_(y)(y₀),φ_(y)(y₁),         . . . , φ_(y)(y_(ny))) that satisfies the twist of the same         elliptic polynomial equation; and     -   2) the mapping between the points (x₀,x_(i), . . . ,         x_(nx),y₀,y₁, . . . , y_(ny)) and (φ_(x)(x₀),φ_(x)(x₁), . . . ,         φ_(x)(x_(xn)),φ_(y)(y₀),φ_(y)(y₁), . . . , φ_(y)(y_(ny))) is         unique, i.e., a one-to-one correspondence.

The proof of this theorem is as follows. Re-writing equation (12) as:

$\begin{matrix} {{y_{0}^{2} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k}y_{l}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l}^{2}x_{k}}}}},} & {(13),} \end{matrix}$

and letting the right-hand side of equation (13) be denoted as T, then:

$\begin{matrix} {T = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k}y_{l}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l}^{2}{x_{k}.}}}}} & (14) \end{matrix}$

Thus, any value of x₀,x₁, . . . , x_(nx),y₁, . . . , y_(ny) will lead to a value of T∈F(p). T could be quadratic residue or non-quadratic residue. If T is quadratic residue, then equation (14) is written as:

$\begin{matrix} {T_{q} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k,q}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k,q}y_{l,q}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,q}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,q}^{2}x_{k,q}}}}} & (15) \end{matrix}$

where x_(0,q),x_(1,q), . . . , x_(nx,q),y_(1,q), . . . , y_(ny,q)∈F denotes the values of x₀,x₁, . . . , x_(nx),y₁, . . . , y_(ny) that result in a quadratic residue value of T, which is hereafter denoted as T_(q) .

If T is non-quadratic residue, then equation (14) is written as:

$\begin{matrix} {T_{\overset{\_}{q}} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k,\overset{\_}{q}}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k,\overset{\_}{q}}y_{l,\overset{\_}{q}}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,\overset{\_}{q}}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,\overset{\_}{q}}^{2}x_{k,\overset{\_}{q}}}}}} & (16) \end{matrix}$

where x_(0, q) ,x_(1, q) , . . . , x_(nx, q) ,y_(1, q) , . . . , y_(ny, q) ∈F denotes the values of x₀,x₁, . . . , x_(nx),y₁, . . . , y_(ny) that result in a non-quadratic residue value of T, denoted as T _(q) .

Letting g be any non-quadratic residue number in F (i.e., g∈F(p) & √{square root over (g)}∈F(p)), then multiplying equation (15) with g³ yields:

${{g^{3}T_{q}} = {{{- g^{3}}{\sum\limits_{k \in S_{ny}}{a_{1k}y_{k,q}^{2}}}} - {g^{3}{\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k,q}y_{l,q}}}} + {g^{3}{\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,q}^{3}}}} + {g^{3}{\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,q}^{2}x_{k,q}}}}}},$

which can be re-written as:

$\begin{matrix} {{g^{3}T_{q}} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}\left( {\sqrt{g^{3}}y_{k,q}} \right)}^{2}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}{g^{3}\left( {\sqrt{g^{3}}y_{k,q}} \right)}\left( {\sqrt{g^{3}}y_{l,q}} \right)}} + {\sum\limits_{l \in S_{nx}}{b_{1l}\left( {gx}_{l,q} \right)}^{3}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{{b_{2{lk}}\left( {gx}_{l,q} \right)}^{2}{\left( {gx}_{k,q} \right).}}}}} & (17) \end{matrix}$

It should be noted that if g is non-quadratic residue, then g³ is also non-quadratic residue. Further, the result of multiplying a quadratic residue number by a non-quadratic residue number is a non-quadratic residue number. Thus, g³T_(q) is non-quadratic residue.

By comparing the terms of equations (16) and (1 7), we obtain the following mappings:

x, q =gx_(i,q);   (18);

y_(i, q) =√{square root over (g³)}y_(i,q);   (19); and

T _(q) =g³T_(q)   (20).

The mappings between the variables and x_(i,q) and x_(i, q) in equation (18), y_(i,q) and y_(i, q) in equation (19), and T_(q) and T _(q) in equation (20) are all bijective, i.e., there is a one-to-one correspondence from basic finite field arithmetic. As a consequence, the mappings between the (nx+ny+2)-tuple (x_(0,q),x_(1,q), . . . , x_(nx,q),T_(q),y_(1,q), . . . , y_(ny,q)) and the (nx+ny+2)-tuple (x_(0, q) ,x_(1, q) , . . . , x_(nx, q) ,T _(q) ,y_(1, q) , . . . , y_(ny, q) ) are also bijective.

Therefore, for every solution of equation (15), there is an isomorphic solution that satisfies equation (16), and since the mappings of the coordinates of one to the other are given in equations (18)-(20), these two solutions are isomorphic with respect to each other.

Since T_(q) is quadratic residue, this expression can be written as:

T_(q)=y₀ ²   (21)

Thus, from equation (20), T _(q) can be written as:

T _(q) =g³y₀ ²   (22).

Using equations (21) and (22), equations (15) and (16) can be written as:

$\begin{matrix} {{{y_{0}^{2} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k,q}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k,q}y_{1,q}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,q}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,q}^{2}x_{k,q}}}}};}{and}} & (23) \\ {{g^{3}y_{0}^{2}} = {{- {\sum\limits_{k \in S_{ny}}{a_{1k}y_{k,\overset{\_}{q}}^{2}}}} - {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}{a_{2{kl}}y_{k,\overset{\_}{q}}y_{l,\overset{\_}{q}}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,\overset{\_}{q}}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l,\overset{\_}{q}}^{2}{x_{k,\overset{\_}{q}}.}}}}} & (24) \end{matrix}$

Since any solution of equation (15) has an isomorphic solution that satisfies equation (16), it follows that the solution of equation (23), denoted as (x_(0,q),x_(1,q), . . . , x_(nx,q),y₀,y₁, . . . , y_(ny,q)) , has an isomorphic solution that satisfies equation (24), denoted as (gx_(0,q),gx_(1,q), . . . , gx_(nx,q),g^(3/2)y₀,g^(3/2)y_(1,q), . . . , g^(3/2)y_(ny,q)).

The solutions of equation (23) form the points (x_(0,q),x_(1,q), . . . , x_(nx,q),y₀,y_(1,q), . . . , y_(ny,q)) that satisfy an elliptic polynomial. Similarly, the solutions of equation (24) form the points (gx_(0,q),gx^(1,q), . . . , gx_(nx,q),g^(3/2)y₀,g^(3/2)y_(1,q), . . . , g^(3/2)y_(ny,q)) that satisfy its twist. This proves the above theorem.

An example of a mapping of the solutions of equation (23) defined over F(p), where p=3mod 4, to the solutions of its twist is implemented by using −x_(i) for the x-coordinates and −y_(i) ² for the y-coordinates.

The isomorphism between an elliptic polynomial and its twist, discussed above, is exploited for the embedding of the bit sting of a shared secret key into the appropriate x and y coordinates of an elliptic polynomial point without the need for an iterative search for a quadratic residue value of the corresponding y₀-coordinate, which usually requires several iterations, where the number of iterations needed is different for different bit strings which are being embedded.

Assuming F=F(p) and that the secret key is an M-bit string such that (nx+ny+1)N>M>N−1, where N is the number of bits needed to represent the elements of F(p), then the secret key bit string is divided into (nx+ny+1) bit-strings k_(x,0),k_(x,1), . . . , k_(x,nx),k_(y,1), . . . , k_(k,ny). The value of the bit-strings k_(x,0),k_(x,1), . . . , k_(x,nx),k_(y,1), . . . , k_(k,ny) must be less than p. In the preferred embodiment of embedding the (nx+ny+1) bit-strings k_(x,0),k_(x,1), . . . , k_(x,nx),k_(y,1), . . . , k_(k,ny), the embedding is as follows.

First, assign the value of the bit string of k_(x,0),k_(x,1), . . . , k_(x,nx) to x_(0,k),x_(1,k), . . . , x_(nx,k). Next, assign the value of the bit string of k_(y,1), . . . , k_(k,ny) to y_(1,k), . . . , y_(ny,k). Then, compute:

$T = {{- {\sum\limits_{i \in S_{ny}}{a_{1i}y_{i,m}^{2}}}} - {\sum\limits_{i,{l \in S_{ny}},{l \neq i}}{a_{2{il}}y_{i,m}y_{l,m}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,m}^{3}}} + {\sum\limits_{l,{i \in S_{nx}},{l \neq i}}{b_{2{li}}x_{l,m}^{2}{x_{i,m}.}}}}$

Finally, use the Legendre test to see if T has a square root. If T has a square root, assign one of the roots to y₀; otherwise, the x-coordinates and y-coordinates of the elliptic polynomial point with the embedded shared secret key bit string are given by gx_(i,k) and g^(3/2)y_(i,k), respectively, where g is non-quadratic residue in F.

It should be noted that p is usually predetermined prior to encryption, so that the value of g can also be predetermined. Further, the receiver can identify whether the point (x_(0,k),x_(1,k), . . . , x_(nx,k),y_(0,k),y_(1,k), . . . , y_(ny,k)) or the point (gx_(0,k),gx_(1,k), . . . , gx_(nx,k),g^(3/2)y_(0,k),g^(3/2)y_(1,k), . . . , g^(3/2)y_(ny,k)) is the elliptic polynomial point with the embedded secret key bit strings without any additional information. Additionally, any non-quadratic value in F(p) can be used for g. For efficiency, g is chosen to be −1 for p≡3mod4 and g is chosen to be 2 for p≡1mod4.

The same deterministic and non-iterative method described above can be used to embed a secret message bit string into an elliptic polynomial point in a deterministic and non-iterative manner. Assuming F=F(p) and that the message is an M-bit string such that (nx+ny+1)N>M>N−1, where N is the number of bits needed to represent the elements of F(p), then the message bit string is divided into (nx+ny+1) bit-strings m_(x,0),m_(x,1), . . . , m_(x,nx),m_(y,1), . . . , m_(k,ny). The value of the bit-strings m_(x,0),m_(x,1), . . . , m_(x,nx),m_(y,1), . . . , m_(k,ny) must be less than p. As in the previous embodiment, the embedding of the (nx+ny+1) bit-strings m_(x,0),m_(x,1), . . . , m_(x,nx),m_(y,1), . . . , m_(k,ny) can be accomplished out as follows.

First, assign the value of the bit string of m_(x,0),m_(x,1), . . . , m_(x,nx) to x_(0,m),x_(1,m), . . . , x_(nx,m). Next, assign the value of the bit string of m_(y,1), . . . , m_(k,ny) to y_(1,m), . . . , y_(ny,m). Then compute:

$T = {{- {\sum\limits_{i \in S_{ny}}{a_{1i}y_{i,m}^{2}}}} - {\sum\limits_{i,{l \in S_{ny}},{l \neq i}}{a_{2{il}}y_{i,m}y_{l,m}}} + {\sum\limits_{l \in S_{nx}}{b_{1l}x_{l,m}^{3}}} + {\sum\limits_{l,{i \in S_{nx}},{l \neq i}}{b_{2{li}}x_{l,m}^{2}{x_{i,m}.}}}}$

Finally, use the Legendre test to see if T has a square root. If T has a square root, then assign one of the roots to y₀, otherwise the x-coordinates and y-coordinates of the elliptic polynomial point with the embedded shared secret key bit string are given by gx_(i,m) and g^(3/2)y_(i,m), respectively.

It should be noted that p is usually predetermined prior to encryption; thus, the value of g can also be predetermined. Further, when using the above method, the strings m_(x,0),m_(x,1), . . . , m_(x,nx) and m_(y,1), . . . , m_(k,ny) can be recovered directly from x_(0,m),x_(1,m), . . . , x_(nx,m) and y_(1,m), . . . , y_(ny,m), respectively. An extra bit is needed to identify whether (x_(0,m),x_(1,m), . . . , x_(nx,m),y_(0,m),y_(1,m), . . . , y_(ny,m)) or (gx_(0,m),gx_(1,m), . . . , gx_(nx,m),g^(3/2)y_(0,m),g^(3/2)y_(1,m), . . . , g^(3/2)y_(ny,m)) is used at the sending correspondent. Additionally, any non-quadratic value in F(p) can be used for g. For efficiency, g is chosen to be −1 for p≡3mod4 and is chosen to be 2 for p≡1mod4 . Further, at the receiver, the process is reversed. In the case of g=2, a division by two is carried out. It should noted that dividing x_(i,m) by two is computed using one modulo addition, because:

(i) x_(i,m)/2=((x_(i,m)−(x_(i,m))mod2)/2)+(x_(i,m))mod2*(1/2)mod p;

(ii) (x_(1,m))mod2 is the least significant bit of x_(i,m); and

(iii) (1/2)mod p=(p+1)/2.

The following describes the mapping of points that satisfy one elliptic polynomial to points that satisfy another elliptic polynomial. The two elliptic polynomials are not required to be isomorphic with respect to each other. This mapping is used for “hopping” between elliptic polynomials.

The type of elliptic polynomial used for such mapping of points has the following form. The elliptic polynomial is a polynomial with more than two independent variables such that one of the variables, termed the y-coordinate, has a maximum degree of two, and appears on its own in only one of the monomials. The other variables, termed the x-coordinates, have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three. Finally, all monomials that contain x-coordinates must have a total degree of three.

Letting S_(nx) represent the set of numbers from 0 to nx (i.e., S_(nx)={0, . . . , nx}), then given a finite field F and denoting b_(1l) ^((s)),b_(2lk) ^((s))∈F as the coefficients of the s-th elliptic polynomial, the following equation defined over F is an example of such an elliptic polynomial:

$\begin{matrix} {y^{2} = {{\sum\limits_{l \in S_{nx}}{b_{1l}^{(s)}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}^{(s)}x_{l}^{2}{x_{k}.}}}}} & (25) \end{matrix}$

The following equations are examples of equation (25):

y ² =b ₁₀ ^((s)) x ₀ ³ +b ₁₁ ^((s)) x ₁ ³ +b ₂₀₁ ^((s)) x ₀ ² x ₁   (26)

y ₀ ² =b ₁₀ ^((s)) x ₀ ³ +b ₁₁ ^((s)) x ₁ ³ +b ₂₀₁ ^((s)) x ₀ ² x ₁ +b ₂₁₀ ^((s)) x ₁ ² x ₀   (27).

Given an elliptic polynomial, such as that given above in equation (25), with coefficients b_(1l),b_(2lkl)∈E F, then (x_(0,o) ^((s)),x_(0,o) ^((s)), . . . , x_(nx,o) ^((s)),y_(o) ^((s))) is denoted as a point that satisfies the s-th elliptic polynomial. Given another elliptic polynomial that is denoted the r-th polynomial, with coefficients b_(1l) ^((r)),b_(2lk) ^((r))∈F, then

${y^{2} = {{\sum\limits_{l \in S_{nx}}{b_{1l}^{(r)}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}^{(r)}x_{l}^{2}x_{k}}}}},$

where the r-th elliptic polynomial is not necessarily isomorphic to the s-th elliptic polynomial, i.e., where all or some of the coefficients b_(1l) ^((r)),b_(2lk) ^((r))∈F are different and independent of the coefficients b_(1l) ^((s)),b_(2lk) ^((s))∈F .

Elliptic polynomial hopping refers to hopping the point (x_(0,o) ^((s)),x_(0,o) ^((s)), . . . , x_(nx,o) ^((s)),y_(o) ^((s))) that satisfies the one elliptic polynomial (for example, the s-th elliptic polynomial with coefficients b_(1l) ^((s)),b_(2lk) ^((s))∈F) into an equivalent point (x_(0,o) ^((r)),x_(0,o) ^((r)), . . . , x_(nx,o) ^((r)),y_(o) ^((r))) that satisfies the r-th elliptic polynomial with coefficients b_(1l) ^((r)),b_(2lk) ^((r))∈F .

One method of achieving this is as follows. First, set the x-coordinates of the hopped point x_(0,o) ^((r)),x_(1,o) ^((r)), . . . , x_(nx,o) ^((r)) to the x-coordinates x_(0,o) ^((s)),x_(1,o) ^((s)), . . . , x_(nx,o) ^((s)) of the original point, x_(i,o) ^((r))=x_(i,o) ^((s)) for i=0, . . . , nx. Next, substitute the value of the x-coordinates x_(0,o) ^((r)),x_(1,o) ^((r)), . . . , x_(nx,o) ^((r)) into the new elliptic polynomial equation to obtain

$T^{(r)} = {{\sum\limits_{l \in S_{nx}}{b_{1l}^{(r)}\left( x_{l}^{(r)} \right)}^{3}} + \; {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{{b_{2{lk}}^{(r)}\left( x_{l}^{(r)} \right)}^{2}x_{k}^{(r)}}}}$

(any value of x_(0,o) ^((r)),x_(1,o) ^((r)), . . . , x_(nx,o) ^((r)) will lead to a value of T^((r))∈F(p), where T^((r)) could be quadratic residue or non-quadratic residue). Finally, if T^((r)) is quadratic residue, set y_(o) ^((r))=√{square root over (T^((r)))} and the hopped point is given by (x_(0,o) ^((r)),x_(1,o) ^((r)), . . . , x_(nx,o) ^((r)),y_(o) ^((r))); otherwise, if T^((r)) is a non-quadratic residue, set) y_(0,) ^((r))=√{square root over (g³T^((r)))} and the hopped point is given by (gx_(0,o) ^((r)),gx^(1,o) ^((r)), . . . , gx^(nx,o) ^((r)),y^(0,o) ^((r))).

Thus, any point that satisfies an elliptic polynomial can be hopped to an equivalent point on another elliptic polynomial, even if the two polynomials are not isomorphic to each other.

Further, a point is never mapped to another point that satisfies the twist of another elliptic polynomial. As can be seen in the final step above, a point that satisfies an elliptic polynomial is mapped (hopped) to another point that satisfies another elliptic polynomial. Any point that satisfies one elliptic polynomial can be uniquely mapped to another point that satisfies either the equation of an elliptic polynomial or the equation of its twist. In order to show this unique mapping, an additional “-tuple” must be used to indicate as to whether a point that satisfies an elliptic polynomial is mapped to point on another elliptic polynomial or the twist of this other elliptic polynomial.

Thus, for purposes of point mapping between one elliptic polynomial into another, a point is represented as (x_(0,o) ^((s)),x_(1,o) ^((s)), . . . , x_(nx,o) ^((s)),y_(o) ^((s)),α_(o) ^((s))). The last variable,(s) α_(o) ^((s)), indicates whether the point (x_(0,o) ^(s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)),y_(o) ^((s−1)),α_(o) ^((s−1)) that satisfies the previous elliptic polynomial was mapped to an elliptic polynomial or its twist. If α_(o)(s)32 1, the point (x_(o,o) ^((s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)),y_(o) ^((s−1)),α_(o) ^((s−1)) was originally mapped to a point on the elliptic polynomial, otherwise if α_(o) ^((s))=g, the point (x_(0,o) ^((s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)),y_(o) ^((s−1)),α_(o) ^((s−1)) was mapped to a point on the twist of an elliptic polynomial. The addition of the variable α^((s)) as an extra “-tuple” in the representation of points allows the above procedure to be reversed as follows.

First α_(o) ^((s))=1, the x-coordinates x_(0,o) ^((s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)) are given by x_(i,o) ^((s−1))=x_(i,o) ^((s)) for i=0, . . . , nx; otherwise, if α_(o) ^((s))=g, the x-coordinates x_(0,o) ^((s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)) are given by x_(i,o) ^((s−1))=g⁻¹x_(i,o) ^((s)) for i=0, . . . , nx. Next, substitute the value of the x-coordinates x_(0,o) ^((s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)) into the (s−1) elliptic polynomial equation to obtain

$T^{({s - 1})} = {{\sum\limits_{l \in S_{nx}}{b_{1l}^{({s - 1})}\left( x_{l}^{({s - 1})} \right)}^{3}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{{b_{2{lk}}^{({s - 1})}\left( x_{l}^{({s - 1})} \right)}^{2}{x_{k}^{({s - 1})}.}}}}$

Finally, compute y_(o) ^((s−1))=√{square root over (T^((s−1)))}, since it is known that the original point (x_(0,o) ^((s−1)),x_(1,o) ^((s−1)), . . . , x_(nx,o) ^((s−1)),y_(o) ^((s−1)),α_(o) ^((s−1)) must satisfy the equation of an elliptic polynomial. Thus, T^((s−1)) is always a quadratic residue.

It should be noted that in the above procedures, the value of α_(o) ^((s−1)) is not defined, since the value depends on the mapping of the point that satisfies the (s−2) elliptic polynomial into the (s−1) elliptic polynomial.

This value of α_(o) ^((s−1)) must be provided as additional information.

The preferred embodiment of the present method includes the following steps:

a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and nyy-coordinates, wherein n is an integer, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer;

-   -   b) a sending correspondent and a receiving correspondent agree         upon the values of nx and ny, and further agree on a set of         coefficients a,b∈F , wherein F represents a finite field where         the field's elements can be represented in N-bits, the sending         and receiving correspondents further agreeing upon a random         number k₀, which is at least part of a shared secret key for         communication, a random number generator, a random number kp₀         that is a portion of the shared secret key used for         communication, and a set of (nx+1) numbers such that xb_(i)∈F,         wherein land nx are integers, wherein i=nx, the set being used         to find an initial base point, the set being made public;

the sending correspondent then performs the following steps:

c) generating at least a portion of a set of coefficients b_(il) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of a first elliptic polynomial to be used for a message authentication code of a 0-th message block from the shared secret key kp₀;

d) embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using a data embedding method;

e) embedding the 0-th block of the message bit string into an elliptic polynomial message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) using the data embedding method;

f) computing a scalar multiplication of the 0-th block shared key k₀ with the basepoint (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as

(x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B));

g) computing a cipher point of the 0-th data block (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) as:

(x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)=(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)+(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾1),

wherein α_(c) ⁽⁰⁾=α_(m) ⁽⁰⁾, and sending a set of appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ⁽⁰⁾ of the cipher point (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾ to the receiving correspondent;

h) establishing integers j and u, such that j=1, . . . , u, and initializing the integer j as j=1 and repeating the following steps i) to m), and incrementing j at each step until all of the message data blocks are processed:

i) generating a random number kp_(j) with the random number generator based upon kp_(j−1);

j) generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j);

k) embedding the j-th block of the message bit string into a j-th elliptic polynomial message point (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) using the data embedding method;

l) hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1)) to an equivalent message authentication code point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial of step j) using the data embedding method;

m) computing the cipher point of the j-th data block (x_(0,c) ^((j)),x_(1,c) ^((j)), . . . , x_(nx,c) ^((j)),y_(c) ^((j)),α_(c) ^((j))) as:

(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))=(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))+(x _(0,kB) ^((j)) ,x _(kB) ^((j)) , . . . , x _(nx,B) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j)));

n) appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ^((j)) of the cipher point (x_(0,c) ^((u)),x_(1,c) ^((u)), . . . , x_(nx,c) ^((u)),y_(c) ^((u)),α_(c) ^((j))) being sent to the receiving correspondent;

the receiving correspondent then performs the following steps:

o) generating at least a portion of the coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of an initial elliptic polynomial to be used for the message authentication code of the 0-th message block from the shared secret key kp₀;

p) embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using the data embedding method;

q) computing the scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as

(x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B));

r) computing the message point of the 0-th data block (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) as:

(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)=(x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)−(x _(0,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1),

wherein α_(m) ⁽⁰⁾=α_(c) ⁽⁰⁾, and recovering the secret message bit string for the 0-th block from appropriate x-coordinates of the message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ⁽⁰⁾=1, and recovering the secret message bit string from a point (gx_(0,m) ⁽⁰⁾,gx_(1,m) ⁽⁰⁾, . . . , gx_(nx,m) ⁽⁰⁾,√{square root over (g³)}y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ^((j))=g;

s) initializing the integer j as j=1 and repeating the following steps t) to (x), and incrementing j at each step until all of the message data blocks are processed:

t) generating a random number kp_(j) with the random number generator based upon kp_(j−1);

u) generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j);

v) hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1)) to an equivalent message authentication point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(1,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial selected in step u) using the data embedding method;

w) computing the message point of the j-th received data block (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j)) is computed as:

(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))=(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))−(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,B) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))),

wherein α_(m) ^((j))=α_(c) ^((j)); and

x) recovering the secret message bit string for the j-th block from appropriate x-coordinates of the message point (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=1, and recovering the secret message bit string from the point (gx_(0,m) ^((j)),gx_(1,m) ^((j)), . . . , gx_(nx,m) ^((j)),√{square root over (g³)}y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=g.

In an alternative embodiment of the encryption method, the underlying finite field, the number of x-coordinates and the monomials used are selected from a predefined set of elliptic polynomial equation that are agreed upon between the corresponding entities.

The primary condition is that the ciphertext size must be the same as the block size. The ciphertext block size is determined by the maximum block size defined by the selected elliptic polynomial equations. If certain elliptic equations result in ciphertext block sizes that are smaller than the specified size of the ciphertext, then padding is used to maintain uniform block size. The alternative method includes the steps of:

a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein n is an integer, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer;

b) a sending correspondent and a receiving correspondent agree upon the values of nx and ny, and further agree on a set of coefficients a,b∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing upon a random number k₀, which is at least part of a shared secret key for communication, a random number generator, a random number kp₀ that is a portion of the shared secret key used for communication, and a set of (nx+1) numbers such that xb_(i)∈F, wherein iand nx are integers, wherein i=nx, the set being used to find an initial base point, the set being made public;

the sending correspondent then performs the following steps:

c) selecting an elliptic polynomial form from the agreed upon set of general form equations using the shared secret key of the initial block, which is denoted as the 0-th block, and generating at least a portion of a set of coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of the first elliptic polynomial to be used for a message authentication code of the 0-th message block from the shared secret key kp₀;

d) embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ^((o)),x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using a data embedding method;

e) embedding the 0-th block of the message bit string into an elliptic polynomial message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) using the data embedding method;

f) computing a scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B) ^() as)

(x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B));

g) computing a cipher point of the 0-th data block (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) as:

(x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,hu (0)) ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)=(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)+(_(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1),

wherein α_(c) ⁽⁰⁾=α_(m) ⁽⁰⁾, and sending a set of appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ⁽⁰⁾ of the cipher point (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) to the receiving correspondent;

h) establishing integers jand u, such that j=1, . . . , u, and initializing the integer j as j=1 and repeating the following steps i) to m), and incrementing j at each step until all of the message data blocks are processed:

i) generating a random number kp_(i) with the random number generator based upon kp_(j−1), and selecting an elliptic polynomial form from the agreed upon set of general form equations using the shared secret key of the j-th block;

j) generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j);

k) embedding the j-th block of the message bit string into a j-th elliptic polynomial message point (x_(0,m) ^((j)),x_(l,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) using the data embedding method;

l) hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1))) to an equivalent message authentication code point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j)) that satisfies the j-th elliptic polynomial of step j) using the data embedding method;

m) computing the cipher point of the j-th data block (x_(0,c) ^((j)),x_(1,c) ^((j)), . . . , x_(nx,c) ^((j)),y_(c) ^((j)),α_(c) ^((j))) as:

(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))=(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))+(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j)));

n) appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ^((j)) of the cipher point (x_(0,c) ^((u)),x_(1,c) ^((u)), . . . , x_(nx,c) ^((u)),y_(c) ^((j)),α_(c) ^((j)) being sent to the receiving correspondent;

the receiving correspondent then performs the following steps:

o) selecting an elliptic polynomial form from the agreed upon set of general form equations using the shared secret key of the initial block and generating at least a portion of the coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of an initial elliptic polynomial to be used for the message authentication code of the 0-th message block from the shared secret key kp₀;

p) embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using the data embedding method;

q) computing the scalar multiplication of the 0-th block shared key k₀ with the basepoint (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as

(x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B));

r) computing the message point of the 0-th data block (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) as:

(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾, α_(m) ⁽⁰⁾)=(x _(0,c) ⁽⁰⁾ ,x _(1,hu (0)) , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)−(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1),

wherein α_(m) ⁽⁰⁾=α_(c) ⁽⁰⁾, and recovering the secret message bit string for the 0-th block from appropriate x-coordinates of the message point) (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ⁽⁰⁾=1, and recovering the secret message bit string from a point (gx_(0,m) ⁽⁰⁾,gx_(1,m) ⁽⁰⁾, . . . , gx_(nx,m) ⁽⁰⁾,√{square root over (g³)}y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ^((j))=g;

s) initializing the integer j as j=1 and repeating the following steps t) to (x), and incrementing/at each step until all of the message data blocks are processed:

t) generating a random number kp_(j) with the random number generator based upon kp_(j−1);

u) generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j), and selecting an elliptic polynomial form from the agreed upon set of general form equations using the shared secret key of the j-th block;

v) hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1)) to an equivalent message authentication point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial selected in step u) using the data embedding method;

w) computing the message point of the j-th received data block (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) is computed as:

(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))=(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))−(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))),

wherein α_(m) ^((j))=α_(c) ^((j)); and

x) recovering the secret message bit string for the j-th block from appropriate x-coordinates of the message point (x_(0,m) ^((j)),x_(1.m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=1, and recovering the secret message bit string from the point (gx_(0,m) ^((j)),gx_(1.m) ^((j)), . . . , gx_(nx,m) ^((j)),√{square root over (g³)}y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=g.

As noted above, the methods include data embedding. In order to embed a message bit string into a point (x,√{square root over (α)}y) which satisfies either an elliptic curve equation y²=x³+αx+b or its twist, αy²=x³+αx+b , the message bit string is first divided into N-bit strings and the l^(th) block is denoted as m_(i). Following this, the value of the bit string of m_(i) is assigned to x_(m) _(i) , and the values of x_(m) _(i) are substituted and the value of t_(m) _(i) is computed using t_(m) _(i) =x_(m) _(i) ³+αx_(m) _(i) +b.

If t_(m) _(i) is quadratic residue, then y_(m) _(i) =√{square root over (t_(m) _(i) )} and the point is given as (x_(m) _(i) ,y_(m) _(i) ). However, if t_(m) _(i) is non-quadratic residue, then

$y_{m_{i}} = \sqrt{\frac{t_{m_{i}}}{\overset{\_}{\alpha}}}$

and the point is given as (x_(m),√{square root over ( αy_(m) _(i) ). The message point is then denoted as (x_(m) _(i) ,√{square root over (α_(m) _(i) )}y_(m) _(i) ), where the point is on the elliptic curve if α_(m) _(i) =1, and the point is on the twist if α_(m) _(i) = α.

Alternatively, data embedding may be performed as follows:

a) dividing the message bit string into (nx+ny+1) bit-strings m_(x,0),m_(x,1), . . . , m_(x,nx),m_(y,1), . . . , m_(k,ny);

b) assigning the value of the bit string of m_(x,0),m_(x,1), . . . , m_(x,nx) to x_(0,m),x_(1,m), . . . , x_(nx,m);

c) assigning the value of the bit string of m_(y,1), . . . , m_(k,ny) to y_(1,m), . . . , y_(ny,m);

d) computing

${T^{({s - 1})} = {{\sum\limits_{l \in S_{nx}}{b_{1l}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}{b_{2{lk}}x_{l}^{2}x_{k}}}}};$

and

e) performing a Legendre test to determine if T has a square root, wherein if T has a square root, then assigning the square root to y₀, and if T does not have a square root, then the x-coordinates and y-coordinates of the elliptic curve point with the embedded shared secret key bit string are selected as gx_(i,m) and g^(3/2)y_(i,m), respectively, where g is non-quadratic residue in F.

As a hybrid of these techniques, the embedding may be performed as:

a) dividing the message bit string into N-bit strings, wherein the i-th block is given by

b) assigning the value of the bit string of m_(i) to x_(m) _(i) ;

c) substituting the values of x_(m) _(i) and computing a residue value t_(m) _(i) as t_(m) _(i) =x_(m) _(i) ³+αx_(m) _(i) +b, wherein if t_(m) _(i) is quadratic residue such that y_(m) _(i) =°{square root over (t_(m) _(i) )}, then the message point is embedded as (x_(m) _(i) ,y_(m) _(i) ) , and if t_(m) _(i) is non-quadratic residue such that

${y_{m_{i}} = \sqrt{\frac{t_{m_{i}}}{\overset{\_}{\alpha}}}},$

then the message point is embedded (x_(m) _(i) ,√{square root over ( αy_(m) _(i) ).

The Legendre Symbol is used to test whether an element of F(p) has a square root or not, i.e., whether an element is quadratic residue or not. The Legendre Symbol and test are as follows. Given an element of a finite field F(p), such as d, the Legendre symbol is defined as

$\left( \frac{d}{p} \right).$

In order to test whether d is quadratic residue or not, the Legendre symbol,

$\left( \frac{d}{p} \right),$

is computed such that

$\left( \frac{d}{p} \right) = \left\{ \begin{matrix} {+ 1} & {{if}\mspace{14mu} x\mspace{14mu} {is}\mspace{14mu} {quadratic}\mspace{14mu} {residue}} \\ 0 & {{{if}\mspace{14mu} x} \equiv {0\mspace{11mu} {mod}\mspace{11mu} {F(p)}}} \\ {- 1} & {{otherwise}.} \end{matrix} \right.$

In the above, the password protocols use the scalar multiplication k_(m)(x_(Pu), y_(Pu)). It should be noted that, in order to find a collision means, that there are two message bits strings m and m′ such that their integer values k_(m) and k_(m). will lead to k_(m)k(x_(B),y_(B))≡k_(m).k(x_(B), y_(B)) . This collision implies that integers can be found such that k_(m)k −k_(m).k=l*#EC, where #EC is the order of the group (EC,+). This is equivalent to solving the elliptic polynomial discrete logarithm problem. This also applies to finding a collision for the points on the twist of an elliptic curve, k_(m)k(x_(TB),√{square root over ( αy_(TB))=k_(m).k(x_(TB),√{square root over ( αy_(TB)).

Thus, security of the password protocols depends on the security of the underlying elliptic polynomial cryptography. The security of elliptic curve cryptosystems is assessed by both the effect on the solution of the elliptic polynomial discrete logarithmic problem (ECDLP) and power analysis attacks.

It is well known that the elliptic polynomial discrete logarithm problem (ECDLP) is apparently intractable for non-singular elliptic curves. The ECDLP problem can be stated as follows: given an elliptic curve defined over F that needs N-bits for the representation of its elements, an elliptic curve point (x_(p),y_(p))∈EC, defined in affine coordinates, and a point (x_(Q),y_(Q))∈EC, defined in affine coordinates, determine the integer k,0≦k≦#F, such that (x_(Q),y_(Q))=k(x_(p),y_(p)), provided that such an integer exists. In the below, it is assumed that such an integer exists.

The most well known attack used against the ECDLP is the Pollard p-method, which has a complexity of O(√{square root over (πK)}/2), where K is the order of the underlying group, and the complexity is measured in terms of an elliptic curve point addition.

Since the underlying cryptographic problems used in the above block cipher chaining methods is the discrete logarithm problem, which is a known difficult mathematical problem, it is expected that the security of the above methods are more secure than prior art ciphers which are not based on such a mathematically difficult problem.

Projective coordinate can also be used by the sending correspondent and the receiving correspondent to embed extra message data bits in the projective coordinate wherein the addition of the corresponding elliptic points is defined in (nx+ny+3) dimensional space where there are (nx+1) x-coordinates, (ny+1) y-coordinates and one projective coordinate.

The equations for the addition rule can be obtained by using the elliptic curve equation with (nx+1) x-coordinates and (nx+1) y-coordinates in projective coordinates and substituting a straight line equation to obtain a cubic equation in terms of one of the x-coordinates. This cubic equation can be used to identify the third point of intersection between a straight line and the elliptic curve in (nx+ny+3) dimensions given two other intersection points. This third point of intersection is used to identify the sum of the given two points.

It should be understood that the calculations may be performed by any suitable computer system, such as that diagrammatically shown in the sole drawing FIGURE. Data is entered into system 100 via any suitable type of user interface 116, and may be stored in memory 112, which may be any suitable type of computer readable and programmable memory. Calculations are performed by processor 114, which may be any suitable type of computer processor and may be displayed to the user on display 118, which may be any suitable type of computer display.

Processor 114 may be associated with, or incorporated into, any suitable type of computing device, for example, a personal computer or a programmable logic controller. The display 118, the processor 114, the memory 112 and any associated computer readable recording media are in communication with one another by any suitable type of data bus, as is well known in the art.

Examples of computer-readable recording media include a magnetic recording apparatus, an optical disk, a magneto-optical disk, and/or a semiconductor memory (for example, RAM, ROM, etc.). Examples of magnetic recording apparatus that may be used in addition to memory 112, or in place of memory 112, include a hard disk device (HDD), a flexible disk (FD), and a magnetic tape (MT). Examples of the optical disk include a DVD (Digital Versatile Disc), a DVD-RAM, a CD-ROM (Compact Disc-Read Only Memory), and a CD-R (Recordable)/RW.

It is to be understood that the present invention is not limited to the embodiments described above, but encompasses any and all embodiments within the scope of the following claims. 

1. A computerized method of performing elliptic polynomial cryptography with elliptic polynomial hopping, comprising the steps of: a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein n is an integer, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer; b) a sending correspondent and a receiving correspondent agree upon the values of nx and ny, and further agree on a set of coefficients a,b∈F , wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing upon a random number k₀, which is at least part of a shared secret key for communication, a random number generator, a random number kp₀ that is a portion of the shared secret key used for communication, and a set of (nx+1) numbers such that xb_(i)∈F, wherein i and nx are integers, wherein i=0, . . . , nx, the set being used to find an initial base point, the set being made public; the sending correspondent then performs the following steps: c) generating at least a portion of a set of coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of a first elliptic polynomial to be used for a message authentication code of a 0-th message block from the shared secret key kp₀; d) embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using a data embedding method; e) embedding the 0-th block of the message bit string into an elliptic polynomial message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) using the data embedding method; f) computing a scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as (x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)); g) computing a cipher point of the 0-th data block ((x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) as: (x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)=(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)+(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1), wherein α_(c) ⁽⁰⁾=α_(m) ⁽⁰⁾, and sending a set of appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ⁽⁰⁾ of the cipher point (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) to the receiving correspondent; h) establishing integers j and u, such that j=1, . . . , u, and initializing the integer j as j=1 and repeating the following steps i) to m), and incrementing j at each step until all of the message data blocks are processed: i) generating a random number kp_(j) with the random number generator based upon kp_(j−1); j) generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j); k) embedding the j-th block of the message bit string into a j-th elliptic polynomial message point (_(x) _(0m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) using the data embedding method; l) hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1)) to an equivalent message authentication code point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial of step j) using the data embedding method; m) computing the cipher point of the j-th data block (x_(0,c) ^((j)),x_(1,c) ^((j)), . . . , x_(nx,c) ^((j)),y_(c) ^((j)),α_(c) ^((j))) as: (x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))=(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))+(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))); n) appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ^((j)) of the cipher point (x_(0,C) ^((u)),x_(1,c) ^((u)), . . . , x_(nx,c) ^((u)),y_(c) ^((u)),α_(c) ^((j))) being sent to the receiving correspondent; the receiving correspondent then performs the following steps: o) generating at least a portion of the coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of an initial elliptic polynomial to be used for the message authentication code of the 0-th message block from the shared secret key kp₀; p) embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using the data embedding method; q) computing the scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as (x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B) ^();) r) computing the message point of the 0-th data block (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) as: (x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)=(x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,) ⁽⁰⁾ ,y _(c) ⁽⁰⁾,α_(c) ⁽⁰⁾)−(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1), wherein α_(m) ⁽⁰⁾=α_(c) ⁽⁰⁾, and recovering the secret message bit string for the 0-th block from appropriate x-coordinates of the message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ⁽⁰⁾=1, and recovering the secret message bit string from a point (gx_(0,m) ⁽⁰⁾,gx_(1,m) ⁽⁰⁾, . . . , gx_(nx,m) ⁽⁰⁾,√{square root over (g³)}y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ^((j))=g; s) initializing the integer j as j=1 and repeating the following steps t) to (x), and incrementing j at each step until all of the message data blocks are processed: t) generating a random number kp_(j) with the random number generator based upon kp_(j−i); u) generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j); v) hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1))) to an equivalent message authentication point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial selected in step u) using the data embedding method; w) computing the message point of the j-th received data block (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , (x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) is computed as: (x _(0,m) ^((j)) ,x _(1,m) ^((j)), . . . , x_(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))=(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))−(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))), wherein α_(m) ^((j))=α_(c) ^((j)); and x) recovering the secret message bit string for the j-th block from appropriate x-coordinates of the message point (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=1, and recovering the secret message bit string from the point (gx_(0,m) ^((j)),gx_(1,m) ^((j)), . . . , gx_(nx,m) ^((j)),√{square root over (g³)}y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=g.
 2. The computerized method of performing elliptic polynomial cryptography with elliptic polynomial hopping as recited in claim 1, wherein the step of embedding includes the steps of: a) dividing the message bit string into N-bit strings, wherein the i-th s block is given by m_(i); b) assigning the value of the bit string of m_(i) to x_(m) ; c) substituting the values of x_(m) _(i) and computing a residue value t_(m) _(i) as t_(m) _(i) =x_(m) _(i) ³+αx_(m) _(i) +b, wherein if t_(m) _(i) is quadratic residue such that y_(m) _(i) =√{square root over (t_(m) _(i) )}, then the message point is embedded as (x_(m) _(i) ,y_(m) _(i) ) , and if t_(m) _(i) is non-quadratic residue such that ${y_{m_{i}} = \sqrt{\frac{t_{m_{i}}}{\overset{\_}{\alpha}}}},$ then the message point is embedded (x_(m) _(i) ,√{square root over ( αy_(m) _(i) ).
 3. A system for performing elliptic polynomial cryptography with elliptic polynomial hopping, comprising: a processor; computer readable memory coupled to the processor; a user interface coupled to the processor; a display coupled to the processor software stored in the memory and executable by the processor, the software having: means for defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein n is an integer, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer, wherein a sending correspondent and a receiving correspondent agree upon the values of nx and ny, and further agree on a set of coefficients a,b∈F , wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing upon a random number k₀, which is at least part of a shared secret key for communication, a random number generator, a random number kp₀ that is a portion of the shared secret key used for communication, and a set of (nx+1) numbers such that xb_(i)∈F, wherein iand nx are integers, wherein i=0, . . . , nx, the set being used to find an initial base point, the set being made public; means for generating at least a portion of a set of coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of a first elliptic polynomial to be used for a message authentication code of a 0-th message block from the shared secret key kp₀; means for embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using a data embedding method; means for embedding the 0-th block of the message bit string into an elliptic polynomial message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) using the data embedding method; means for computing a scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as (x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kb) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)); means for computing a cipher point of the 0-th data block (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) as: (x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)=(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)+(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1), wherein α_(c) ⁽⁰⁾=α_(m) ⁽⁰⁾, and sending a set of appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ⁽⁰⁾ of the cipher point (x_(0,x) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) to the receiving correspondent; means for establishing integers j and u, such that j=1, . . . , u, and initializing the integer j as j=1 and incrementing j at each step until all of the message data blocks are processed; means for generating a random number kp_(j) with the random number generator based upon kp_(j−1); means for generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j); means for embedding the j-th block of the message bit string into a j-th elliptic polynomial message point (x_(0,m) ^((j)),x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) using the data embedding method; means for hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1)))to an equivalent message authentication code point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial; means for computing the cipher point of the j-th data block (x_(0,c) ^((j)),x_(1,c) ^((j)), . . . , x_(nx,c) ^((j)),y_(c) ^((j)),α_(c) ^((j))) as: (x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))=(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))+(x _(0,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j))α_(kB) ^((j))); means for sending appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ^((j)) of the cipher point (x_(0,c) ^((u)),x_(1,c) ^((u)), . . . , x_(nx,c) ^((u)),y_(c) ^((j)),α_(c) ^((j))) to the receiving correspondent; means for generating at least a portion of the coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of an initial elliptic polynomial to be used for the message authentication code of the 0-th message block from the shared secret key kp₀; means for embedding the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using the data embedding method; means for computing the scalar multiplication of the 0-th block shared key k₀ with the base (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾α_(B)) as (x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)); means for computing the message point of the 0-th data block (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) as: (x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)=(x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)−(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,kB) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1), wherein α_(m) ⁽⁰⁾=α_(c) ⁽⁰⁾, and recovering the secret message bit string for the 0-th block from appropriate x-coordinates of the message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ⁽⁰⁾=1, and recovering the secret message bit string from a point (gx_(0,m) ⁽⁰⁾,gx_(1,m) ⁽⁰⁾, . . . , gx_(nx,m) ⁽⁰⁾,√{square root over (g³)}y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ^((j))=g; means for initializing the integer j as j=1 and incrementing j at each step until all of the message data blocks are processed; means for generating a random number kp_(j) with the random number generator based upon kp_(j−1); means for generating at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j); means for hopping the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,B) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1))) to an equivalent mpoint qessage authentication point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j)))that satisfies the j-th elliptic polynomial; means for computing the message point of the j-th received data block (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) is computed as: (x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))=(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))−(x _(0,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))), wherein α_(m) ^((j))=α_(c) ^((j)); and means for recovering the secret message bit string for the j-th block from appropriate x-coordinates of the message point (x_(o,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=1, recovering the secret message bit string from the point (gx_(o,m) ^((j)),gx_(1,m) ^((j)), . . . , gx_(nx,m) ^((j)),√{square root over (g³)}y_(m) ^((j)),α_(m) ^((j))=g.
 4. A computer software product that includes a medium readable by a processor, the medium having stored thereon a set of instructions for performing elliptic polynomial cryptography with elliptic polynomial hopping, the instructions comprising: a) a first sequence of instructions which, when executed by the processor, causes the processor to define a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein n is an integer, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer, wherein a sending correspondent and a receiving correspondent agree upon the values of nx and ny, and further agree on a set of coefficients a,b∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing upon a random number k₀, which is at least part of a shared secret key for communication, a random number generator, a random number kp₀ that is a portion of the shared secret key used for communication, and a set of (nx+1) numbers such that xb_(i)∈F, wherein i and nx are integers, wherein i=0, . . . , nx, the set being used to find an initial base point, the set being made public; b) a second sequence of instructions which, when executed by the processor, causes the processor to generate at least a portion of a set of coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of a first elliptic polynomial to be used for a message authentication code of a 0-th message block from the shared secret key kp₀; c) a third sequence of instructions which, when executed by the processor, causes the processor to embed the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using a data embedding method; d) a fourth sequence of instructions which, when executed by the processor, causes the processor to embed the 0-th block of the message bit string into an elliptic polynomial message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) using the data embedding method; e) a fifth sequence of instructions which, when executed by the processor, causes the processor to compute a scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as (x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰), . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)); f) a sixth sequence of instructions which, when executed by the processor, causes the processor to compute a cipher point of the 0-th data block (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) as: (x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)=(x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)+(x _(0,kB) ⁽⁰⁾ , . . . , x _(nx,B) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1), wherein α_(c) ⁽⁰⁾=α_(m) ⁽⁰⁾, and sending a set of appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ⁽⁰⁾ of the cipher point (x_(0,c) ⁽⁰⁾,x_(1,c) ⁽⁰⁾, . . . , x_(nx,c) ⁽⁰⁾,y_(c) ⁽⁰⁾,α_(c) ⁽⁰⁾) to the receiving correspondent; g) a seventh sequence of instructions which, when executed by the processor, causes the processor to establish integers j and u, such that j=1, . . . , u, and initializing the integer j as j=1 and incrementing j at each step until all of the message data blocks are processed; h) an eighth sequence of instructions which, when executed by the processor, causes the processor to generate a random number kp_(j) with the random number generator based upon kp_(j−1); i) a ninth sequence of instructions which, when executed by the processor, causes the processor to generate at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j); j) a tenth sequence of instructions which, when executed by the processor, causes the processor to embed the j-th block of the message bit string into a j-th elliptic polynomial message point (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) using the data embedding method; k) an eleventh sequence of instructions which, when executed by the processor, causes the processor to hop the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1)))to an equivalent message authentication code point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,B) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) thatsatisfies the j-th elliptic polynomial; l) a twelfth sequence of instructions which, when executed by the processor, causes the processor to compute the cipher point of the j-th data block (x_(0,c) ^((j)),x_(1,c) ^((j)), . . . , x_(nx,c) ^((j)),y_(c) ^((j)),α_(c) ^((j))) as: (x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))=(x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))+(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))); m) a thirteenth sequence of instructions which, when executed by the processor, causes the processor to send appropriate bits of the x-coordinates and a bit indicating the value of α_(c) ^((j)) of the cipher point (x_(0,c) ^((u)),x_(1,c) ^((u)), . . . , x_(nx,c) ^((u)),y_(c) ^((u)),α_(c) ^((j))) to the receiving correspondent; n) a fourteenth sequence of instructions which, when executed by the processor, causes the processor to generate at least a portion of the coefficients b_(1l) ⁽⁰⁾,b_(2lk) ⁽⁰⁾∈F of an initial elliptic polynomial to be used for the message authentication code of the 0-th message block from the shared secret key kp₀; o) a fifteenth sequence of instructions which, when executed by the processor, causes the processor to embed the set of (nx+1) numbers xb_(i)∈F into an elliptic polynomial point to obtain an initial base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) using the data embedding method; p) a sixteenth sequence of instructions which, when executed by the processor, causes the processor to compute the scalar multiplication of the 0-th block shared key k₀ with the base point (x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)) as (x_(0,kB) ⁽⁰⁾,x_(1,kB) ⁽⁰⁾, . . . , x_(nx,kB) ⁽⁰⁾,y_(kB) ⁽⁰⁾,1)=k(x_(0,B) ⁽⁰⁾,x_(1,B) ⁽⁰⁾, . . . , x_(nx,B) ⁽⁰⁾,y_(B) ⁽⁰⁾,α_(B)); q) a seventeenth sequence of instructions which, when executed by the processor, causes the processor to compute the message point of the 0-th) data block (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) as: (x _(0,m) ⁽⁰⁾ ,x _(1,m) ⁽⁰⁾ , . . . , x _(nx,m) ⁽⁰⁾ ,y _(m) ⁽⁰⁾,α_(m) ⁽⁰⁾)=(x _(0,c) ⁽⁰⁾ ,x _(1,c) ⁽⁰⁾ , . . . , x _(nx,c) ⁽⁰⁾ ,y _(c) ⁽⁰⁾α_(c) ⁽⁰⁾)−(x _(0,kB) ⁽⁰⁾ ,x _(1,kB) ⁽⁰⁾ , . . . , x _(nx,B) ⁽⁰⁾ ,y _(kB) ⁽⁰⁾,1), wherein α_(m) ⁽⁰⁾=α_(c) ⁽⁰⁾, and recovering the secret message bit string for the 0-th block from appropriate x-coordinates of the message point (x_(0,m) ⁽⁰⁾,x_(1,m) ⁽⁰⁾, . . . , x_(nx,m) ⁽⁰⁾,y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ⁽⁰⁾=1, and recovering the secret message bit string from a point (gx_(0,m) ⁽⁰⁾,gx_(1,m) ⁽⁰⁾, . . . , gx_(nx,m) ⁽⁰⁾,√{square root over (g³)}y_(m) ⁽⁰⁾,α_(m) ⁽⁰⁾) if α_(m) ^((j))=g; r) an eighteenth sequence of instructions which, when executed by the processor, causes the processor to initialize the integer j as j=1 and incrementing j at each step until all of the message data blocks are processed; s) a nineteenth sequence of instructions which, when executed by the processor, causes the processor to generate a random number kp₁ with the random number generator based upon kp_(j−1); t) a twentieth sequence of instructions which, when executed by the processor, causes the processor to generate at least a portion of the coefficients b_(1l) ^((j)),b_(2lk) ^((j))∈F of the j-th elliptic polynomial from the random number kp_(j); u) a twenty-first sequence of instructions which, when executed by the processor, causes the processor to hop the scalar multiplication point (x_(0,kB) ^((j−1)),x_(1,kB) ^((j−1)), . . . , x_(nx,kB) ^((j−1)),y_(kB) ^((j−1)),α_(kB) ^((j−1))) to an equivalent message authentication point (x_(0,kB) ^((j)),x_(1,kB) ^((j)), . . . , x_(nx,kB) ^((j)),y_(kB) ^((j)),α_(kB) ^((j))) that satisfies the j-th elliptic polynomial; v) a twenty-second sequence of instructions which, when executed by the processor, causes the processor to compute the message point of the j-th received data block (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) is computed as: (x _(0,m) ^((j)) ,x _(1,m) ^((j)) , . . . , x _(nx,m) ^((j)) ,y _(m) ^((j)),α_(m) ^((j)))=(x _(0,c) ^((j)) ,x _(1,c) ^((j)) , . . . , x _(nx,c) ^((j)) ,y _(c) ^((j)),α_(c) ^((j)))−(x _(0,kB) ^((j)) ,x _(1,kB) ^((j)) , . . . , x _(nx,kB) ^((j)) ,y _(kB) ^((j)),α_(kB) ^((j))), wherein α_(m) ^((j))=α_(c) ^((j)); and w) a twenty-third sequence of instructions which, when executed by the processor, causes the processor to recover the secret message bit string for the j-th block from appropriate x-coordinates of the message point (x_(0,m) ^((j)),x_(1,m) ^((j)), . . . , x_(nx,m) ^((j)),y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=1, and recovering the secret message bit string from the point (gx_(0,m) ^((j)),gx_(1,m) ^((j)), . . . , gx_(nx,m) ^((j)),√{square root over (g³)}y_(m) ^((j)),α_(m) ^((j))) if α_(m) ^((j))=g. 